1785 search results - page 242 / 357 » Modeling Communication with Synchronized Environments |
163
Voted
CIA
2003
Springer
15 years 9 months ago
2003
Springer
Software agents are one of the building blocks of ambient intelligence and pervasive computing. Adaptation to changes in the execution context is necessary in order to provide cont...
123
click to vote
CF
2010
ACM
15 years 8 months ago
2010
ACM
Runtime parallel optimization has been suggested as a means to overcome the difficulties of parallel programming. For runtime parallel optimization to be effective, parallelism a...
123
click to vote
DMSN
2004
ACM
15 years 7 months ago
2004
ACM
The military is working on embedding sensors in a "smart uniform" that will monitor key biological parameters to determine the physiological status of a soldier. The sol...
125
Voted
ESAW
2000
Springer
15 years 7 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
163
Voted
FMSD
2007
15 years 3 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...