Sciweavers

11324 search results - page 1962 / 2265
» Coordination Models and Languages
Sort
View
ENTCS
2008
105views more  ENTCS 2008»
15 years 6 months ago
Development of a Modelica Compiler Using JastAdd
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
Johan Åkesson, Torbjörn Ekman, Gör...
FUIN
2008
142views more  FUIN 2008»
15 years 6 months ago
Relational Transformation-based Tagging for Activity Recognition
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...
Niels Landwehr, Bernd Gutmann, Ingo Thon, Luc De R...
CN
2006
106views more  CN 2006»
15 years 6 months ago
Efficient large-scale BGP simulations
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
Xenofontas A. Dimitropoulos, George F. Riley
ENTCS
2006
127views more  ENTCS 2006»
15 years 6 months ago
Capability-Passing Processes
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
Tom Chothia, Dominic Duggan
ENTCS
2006
154views more  ENTCS 2006»
15 years 6 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
« Prev « First page 1962 / 2265 Last » Next »