Sciweavers

4678 search results - page 548 / 936
» Integrated University Information Systems
Sort
View
MPC
2010
Springer
181views Mathematics» more  MPC 2010»
16 years 11 days ago
Process Algebras for Collective Dynamics
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
Jane Hillston
PRESENCE
2002
137views more  PRESENCE 2002»
15 years 7 months ago
The Studierstube Augmented Reality Project
This paper describes Studierstube, an augmented reality system developed over the past four years at Vienna University of Technology, Austria, in extensive collaboration with Frau...
Dieter Schmalstieg, Anton L. Fuhrmann, Gerd Hesina...
ICDE
2007
IEEE
121views Database» more  ICDE 2007»
16 years 1 months ago
Dispatching Hospitals Intelligently: A Service-Oriented Approach
Emergencies happen frequently and handling them effectively is necessary. In many cases, emergencies are treated by a static procedure, without considering the requirements of th...
Oguz Akgus, Serdar Torgan, Anil Gürsel, Emre ...
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
16 years 1 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ISW
2004
Springer
16 years 29 days ago
A Distributed High Assurance Reference Monitor
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
Ajay Chander, Drew Dean, John C. Mitchell