10585 search results - page 1709 / 2117 » The Orc Programming Language |
116
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
128
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Context-aware applications use context information, like location or identification of nearby objects of interest, to adapt their behavior to the current situation of the user. The...
146
click to vote
LCTRTS
2007
Springer
15 years 11 months ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
143
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
119
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...