5093 search results - page 78 / 1019 » How Real are Real Numbers |
LCTRTS
1998
Springer
13 years 12 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
SAFECOMP
1998
Springer
13 years 12 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
CANDT
2009
13 years 11 months ago
2009
In this paper, I describe how various understandings of community activated the design of Dialup Radio, a mobile phonebased independent media distribution system for Zimbabwean ci...
AAAI
2008
13 years 10 months ago
2008
We present a real-time strategy (RTS) game AI agent that integrates multiple specialist components to play a complete game. Based on an analysis of how skilled human players conce...