5200 search results - page 757 / 1040 » Symbolic models for control systems |
188
click to vote
DATE
2010
IEEE
16 years 15 days ago
2010
IEEE
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
189
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
274
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
198
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
185
click to vote
ICAC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...