5457 search results - page 1044 / 1092 » Software Component Independence |
113
Voted
SIGUCCS
2005
ACM
15 years 6 months ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...
131
Voted
VEE
2005
ACM
15 years 6 months ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
96
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
91
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
113
click to vote
MABS
2005
Springer
15 years 6 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...