Sciweavers

5064 search results - page 84 / 1013
» Recent Developments in Gridsolve
Sort
View
IPPS
2005
IEEE
14 years 1 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
UDM
2005
IEEE
14 years 1 months ago
Context for Ubiquitous Data Management
In response to the advance of ubiquitous computing technologies, we believe that for computer systems to be ubiquitous, they must be context-aware. In this paper, we address the i...
Arthur H. van Bunningen, Ling Feng, Peter M. G. Ap...
AIED
2005
Springer
14 years 1 months ago
Formation of Learning Groups by using Learner Profiles and Context Information
An important but often neglected aspect in Computer Supported Collaborative Learning is the intelligent formation of learning groups. Until recently, support for group formation wa...
Martin Muehlenbrock
CPAIOR
2005
Springer
14 years 1 months ago
Symmetry Breaking and Local Search Spaces
The effects of combining search and modelling techniques can be complex and unpredictable, so guidelines are very important for the design and development of effective and robust s...
Steven David Prestwich, Andrea Roli
ENTER
2005
Springer
14 years 1 months ago
Overlaying Paper Maps with Digital Information Services for Tourists
Despite the increasing availability of various forms of digital maps and guides, paper still prevails as the main information medium used by tourists during city visits. The autho...
Moira C. Norrie, Beat Signer