1537 search results - page 261 / 308 » Domain-Specific Software Component Models |
116
click to vote
SIES
2007
IEEE
15 years 9 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
85
Voted
WCE
2007
15 years 3 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
114
click to vote
JSS
2008
15 years 2 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
120
Voted
ENTCS
2002
15 years 2 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
128
Voted
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...