365 search results - page 72 / 73 » Liveness in Timed and Untimed Systems |
DIGITALCITIES
2001
Springer
14 years 2 months ago
2001
Springer
Much thinking about digital cities is in terms of community groups. Yet, the world is composed of social networks and not of groups. This paper traces how communities have changed ...
EDM
2010
13 years 11 months ago
2010
Curriculum planning is perhaps one of the most important tasks teachers must perform before instruction. While this task is facilitated by a wealth of existing online tools and res...
DLOG
2003
13 years 11 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
AIIDE
2009
13 years 11 months ago
2009
In most modern video games, content (e.g. models, levels, weapons, etc.) shipped with the game is static and unchanging, or at best, randomized within a narrow set of parameters. ...
CCS
2010
ACM
13 years 10 months ago
2010
ACM
Network-based Intrusion Detection Systems (IDSs) such as Snort or Bro that have to analyze the packet payload for all the received data show severe performance problems if used in...