2021 search results - page 114 / 405 » COCO: Composition Model and Composition Model Implementation |
145
click to vote
SOCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
165
click to vote
FAC
2008
15 years 5 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
131
click to vote
RCC
2000
15 years 4 months ago
2000
Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems...
155
click to vote
SDL
2007
15 years 6 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
131
Voted
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...