8109 search results - page 323 / 1622 » A Model of Component-Based Programming |
154
click to vote
ESEM
2009
ACM
16 years 1 months ago
2009
ACM
Software development is a complex and error-prone task. An important factor during the development of complex systems is the understanding of the dependencies that exist between d...
164
click to vote
TACAS
2007
Springer
16 years 24 days ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
159
click to vote
SOCRATES
2008
15 years 8 months ago
2008
Quality is an open concept. Something has a good quality when the most salient of its characteristics have a positive value. What are this relevant features? It depends on the int...
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
220
click to vote
CASES
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents a partitioning and allocation algorithm for an iterative stream compiler, targeting heterogeneous multiprocessors with constrained distributed memory and any c...