10072 search results - page 264 / 2015 » Composition of Model Programs |
245
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
163
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
138
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The availability of commodity multiprocessors offers significant opportunities for addressing the increasing computational requirements of optimization applications. To...
243
click to vote
WAC
2004
Springer
15 years 12 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
172
click to vote
REFLECTION
2001
Springer
15 years 11 months ago
2001
Springer
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...