459 search results - page 51 / 92 » Specification and Analysis of Real-Time Systems Using Real-T... |
ACSW
2006
15 years 1 months ago
2006
1 The arrival of any piece of unsolicited and unwanted email (spam) into a user's email inbox is a problem. It results in real costs to organisations and possibly an increasin...
126
click to vote
SAC
2011
ACM
14 years 2 months ago
2011
ACM
The use of real-time systems can differ from their initial design and requirements. New missions may take place in a more agressive environment and cause faults that are not manag...
115
click to vote
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
SBIA
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. The agent/multi-agent system paradigm is an important field of Artificial Intelligence. The use of this paradigm in real-world problems is one of the main lines of intere...
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...