1774 search results - page 22 / 355 » Modeling Dynamic Component Interfaces |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
ESEC
1999
Springer
13 years 12 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
ICCAD
1996
IEEE
13 years 12 months ago
1996
IEEE
We describe an algorithm for the synthesis and optimization of interface circuits for embedded system components such as microprocessors, memory ASIC, and network subsystems with ...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Software metrics can be used to objectively quantify the quality of software components and systems, alleviating quality and risk concerns and raising assurance in component-based...