Sciweavers

4419 search results - page 137 / 884
» Information Science in Transition
Sort
View
115
Voted
ACMSE
2008
ACM
15 years 5 months ago
Studio-based learning in CS2: an experience report
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...
Lakshman Myneni, Margaret Ross, T. Dean Hendrix, N...
115
Voted
GEOINFO
2004
15 years 5 months ago
A Roadmap to Extending GIS For Public Utility Companies
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...
Kathrin Kirchner, Johannes Ruhland
111
Voted
INTERACT
2003
15 years 5 months ago
Messaging And Formality: Will IM Follow in the Footsteps of Email?
: 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...
Tracey Lovejoy, Jonathan Grudin
138
Voted
CONCUR
2004
Springer
15 years 9 months ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada
159
Voted
FOSSACS
1999
Springer
15 years 8 months ago
Probabilistic Temporal Logics via the Modal Mu-Calculus
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
Murali Narasimha, Rance Cleaveland, S. Purushotham...