1884 search results - page 115 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
DEIRA is a virtual agent commenting on virtual horse races in real time. DEIRA analyses the state of the race, acts emotionally and comments about the situation in a believable an...
112
click to vote
TSMC
2008
14 years 9 months ago
2008
Future generations of air traffic management systems may give appropriately equipped aircraft the freedom to change flight paths in real time. This would require a conflict avoidan...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
104
click to vote
IFIPTCS
2010
14 years 8 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
GCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...