8190 search results - page 214 / 1638 » From Timed to Hybrid Systems |
127
click to vote
IOR
2010
15 years 4 months ago
2010
This paper analyzes a class of common-component allocation rules, termed no-holdback (NHB) rules, in continuous-review assemble-to-order (ATO) systems. We assume that component in...
176
click to vote
KESAMSTA
2010
Springer
15 years 4 months ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
177
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
152
click to vote
IEEEARES
2009
IEEE
16 years 29 days ago
2009
IEEE
Many emergent security threats which did not exist in the traditional telephony network are introduced in SIP VoIP services. To provide high-level security assurance to SIP VoIP s...
161
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
A temporal constraint management system (TCMS) is a temporal network together with algorithms for managing the constraints in that network over time. This paper presents a practica...