9842 search results - page 30 / 1969 » Compositional timing analysis |
ESAW
2000
Springer
13 years 11 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
CVPR
1996
IEEE
13 years 11 months ago
1996
IEEE
The e ciency of pattern recognition is particularly crucial in two scenarios; whenever there are a large number of classes to discriminate, and, whenever recognition must be perfo...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
Employing the power of Semantic Grid services into pervasive problem domains such as video analysis would allow for more effective distributed processing. A vast amount of ecologi...
ROOM
2000
13 years 9 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...