2500 search results - page 143 / 500 » Specifying Behavior in C |
129
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
112
Voted
ADC
2005
Springer
15 years 9 months ago
2005
Springer
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
118
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
ICSOC
2005
Springer
15 years 9 months ago
2005
Springer
The intrinsic flexibility and dynamism of service-centric applications preclude their pre-release validation and demand for suitable probes to monitor their behavior at run-time. ...
129
Voted
HSNMC
2004
Springer
15 years 8 months ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...