ing item-dependent information into syntax

ing ESL Designs to UPPAAL System Models Che-Wei Chang, Rainer Dömer Center for Embedded and Cyber-Physical Systems University of California, Irvine Irvine, CA 92697-2625, USA (949) 824-8919 cheweic,[email protected] http://www.cecs.uci.edu Technical Report CECS-14-13 November 21, 2014 Abstracting ESL Designs to UPPAAL System Modelsing ESL Designs to UPPAAL System Models Che-Wei Chang, Rainer Dömer...

ing Context in Event-based Software Adrian Holzer, Lukasz Ziarek, K.R. Jayaram, and Patrick Eugster 1 Polytechnique Montréal, Montréal, Québec H3C 3A7, Canada 2 Fiji Systems Inc, Indianapolis IN 46202, USA 3 Purdue University, West Lafayette, IN 47907, USA Abstract. With the recent immersion of advanced mobile devices in the daily lives of millions, pervasive computing is becoming a reality. De...

ing Business Modeling Patterns from RosettaNet Pankaj R. Telang and Munindar P. Singh North Carolina State University, Raleigh, NC 27695-8206, USA [email protected], [email protected] Abstract. RosettaNet is a leading industry effort that creates standards for business interactions. The RosettaNet standard defines over 100 Partner Interface Processes (PIPs). The PIPs specify the business interacti...

Pervasive computing deployments are increasingly using sensor networks to build instrumented environments that provide local data to immersed mobile applications immersed. These applications demand opportunistic and unpredictable interactions with local devices. While this direct communication has the potential to reduce both overhead and latency, it deviates significantly from existing uses of...

The World Wide Web presents information access problems orders of magnitude greater than any encountered before. These problems are identified and discussed. Although the intellectual indexing of the entire Web is impossible and, in any case, not worthwhile, selective indexing of high value resources (e.g., by means of specialized portals) is essential. The summarization of Web resources (i.e.,...

OR GENERAL KNOWLEDGE LINGUISTIC KNOWLEDGE GRAMMAR LEXICON DOMAIN KNOWLEDGE POLICY NORMS AUDIENCE DOMAIN SUBJECT TYPE MEANING STRUCTURE TEXT: ABSTRACT DISCOURSE STRUCTURES Figure 1: Sources of Knowledge in the Process of Abstracting tive text. Questions: Is it necessary to read and understand the full document in order to obtain its content? If not, which parts of the documents are candidates fo...

ing Security Specifications in Building Survivable Systems J. Jenny Li and Mark Segal Telcordia Technologies (formerly Bellcore) 445 South Street, Morristown NJ 07960-6438 USA Email: [email protected]; Phone: (973)829-4753; Fax: (973)829-5981

ing Event-Driven Systems with Lifestate Rules Shawn Meier Aleksandar Chakarov Maxwell Russek Sergio Mover Bor-Yuh Evan Chang University of Colorado Boulder {shawn.meier, aleksandar.chakarov, maxwell.russek, sergio.mover, evan.chang}@colorado.edu

ing Synchronization in Concurrent Constraint Programming ? Enea Za anella1 Roberto Giacobazzi2 Giorgio Levi1 1 Dipartimento di Informatica, Universit a di Pisa Corso Italia 40, 56125 Pisa (za anel,levi)@di.unipi.it 2 LIX, Laboratoire d'Informatique, Ecole Polytechnique 91128 Palaiseau cedex [email protected] Abstract. Because of synchronization based on blocking ask, some of the most i...