298 search results - page 8 / 60 » UPPAAL - Now, Next, and Future |
ISPA
2005
Springer
14 years 6 days ago
2005
Springer
Next-generation network (NGN) is a new concept and becoming more and more important for future telecommunication networks. This paper illustrates five function layers of NGN archit...
WIDM
2004
ACM
14 years 4 days ago
2004
ACM
Abstract. CiteSeer began as the first search engine for scientific literature to incorporate Autonomous Citation Indexing, and has since grown to be a well-used, open archive for...
WS
2008
ACM
13 years 6 months ago
2008
ACM
Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science. Practical experience with OW...
AAAI
2012
11 years 9 months ago
2012
Much work has been done on predicting where is one going to be in the immediate future, typically within the next hour. By contrast, we address the open problem of predicting huma...
RTSS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...