2021 search results - page 166 / 405 » COCO: Composition Model and Composition Model Implementation |
214
click to vote
JSC
2010
15 years 28 days ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
186
click to vote
PC
2012
14 years 1 months ago
2012
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
169
click to vote
TASE
2009
IEEE
16 years 26 days ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
158
Voted
CBSE
2007
Springer
16 years 10 days ago
2007
Springer
Data encapsulation is a familiar property in object-oriented programming. It is not only useful for modelling things in the real world, but it also facilitates reuse by enabling th...
149
Voted
AVI
2010
15 years 7 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...