2836 search results - page 395 / 568 » Model Checking for Software Architectures |
170
click to vote
EUROPAR
2005
Springer
16 years 8 days ago
2005
Springer
Grid-BGC is a Grid-enabled terrestrial biogeochemical cycle simulator collaboratively developed by the National Center for Atmospheric Research (NCAR) and the University of Colorad...
174
Voted
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...
203
click to vote
FPL
2007
Springer
16 years 27 days ago
2007
Springer
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
176
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
167
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...