Sciweavers

2435 search results - page 342 / 487
» GPSS - 40 years of development
Sort
View
ESA
2008
Springer
112views Algorithms» more  ESA 2008»
15 years 8 months ago
Time-Dependent SHARC-Routing
In recent years, many speed-up techniques for Dijkstra's algorithm have been developed that make the computation of shortest paths in static road networks a matter of microse...
Daniel Delling
EUROSSC
2008
Springer
15 years 8 months ago
Using Aesthetic and Empathetic Expressions to Motivate Desirable Lifestyle
Abstract. In recent years, the deteriorations of living habits like immobilization or unhealthy diet are becoming serious social problems in many developed countries. Even if we kn...
Tatsuo Nakajima, Hiroaki Kimura, Tetsuo Yamabe, Vi...
CHI
2010
ACM
15 years 7 months ago
Facilitating meetings with playful feedback
Effective group meetings are important for the productivity of corporations. Various types of meeting facilitators have been developed over the past couple of years. We present a ...
Ying Zhang, Marshall W. Bern, Juan Liu, Kurt Partr...
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 7 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
FOIKS
2008
Springer
15 years 7 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...