187 search results - page 10 / 38 » Component-Based Construction of Concurrent Systems with Acti... |
CP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
115
click to vote
ICSR
2011
Springer
14 years 3 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
124
click to vote
PTS
2008
15 years 1 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
128
click to vote
CBSQ
2003
Springer
15 years 4 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
137
click to vote
POPL
2009
ACM
15 years 6 months ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...