4419 search results - page 137 / 884 » Information Science in Transition |
115
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Recently there has been a surge of interest in making computer science education attractive to potential students, motivating to current students, and relevant to graduating stude...
115
Voted
GEOINFO
2004
15 years 5 months ago
2004
Abstract Emergency management, leakage handling and maintenance of distribution networks are among the most essential tasks a public utility faces. Geo information systems are freq...
111
Voted
INTERACT
2003
15 years 5 months ago
2003
: One virtue of instant messaging is informality. As messaging is used more in work settings, being able to consult an exchange later can be beneficial. However, archived communica...
138
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
159
Voted
FOSSACS
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...