612 search results - page 85 / 123 » Bounded model checking for knowledge and real time |
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present a physical, laboratory-scale analog of large-scale atmospheric circulation and develop an observatory for it. By combining observations of a hydro-dynamically ...
RTCSA
2007
IEEE
15 years 4 months ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
ICDM
2010
IEEE
14 years 7 months ago
2010
IEEE
Human emotion is one important underlying force affecting and affected by the dynamics of social networks. An interesting question is "can we predict a person's mood base...
MDAI
2009
Springer
15 years 4 months ago
2009
Springer
Web 2.0 Communities allow large amounts of users to interact with each others. In fact, new Web 2.0 technologies allow to share resources and information in an easy and timely mann...