367 search results - page 62 / 74 » Executable Specifications for Real-Time Distributed Systems |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
With the shrinking of transistors continuing to follow Moore's Law and the non-scalability of conventional outof-order processors, multi-core systems are becoming the design ...
BMCBI
2007
13 years 7 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
ICDCSW
2007
IEEE
14 years 1 months ago
2007
IEEE
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
EMSOFT
2010
Springer
13 years 5 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...