Sciweavers

9821 search results - page 1653 / 1965
» A Framework for the Development of Protocols
Sort
View
DIGRA
2005
Springer
16 years 9 days ago
Tangible Interfaces for Pervasive Gaming
With pervasive gaming, novel types of games have recently emerged. The idea is to apply pervasive computing technology - which embeds computers in real-world, everyday environment...
Andreas Schrader, Bernhard Jung, Darren Carlson
201
Voted
ECAL
2005
Springer
16 years 9 days ago
Artificial Homeostatic System: A Novel Approach
Abstract. Many researchers are developing frameworks inspired by natural, especially biological, systems to solve complex real-world problems. This work extends previous work in th...
Patrícia Amâncio Vargas, Renan C. Moi...
EDCC
2005
Springer
16 years 9 days ago
Structure-Based Resilience Metrics for Service-Oriented Networks
Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Ja...
EUROPAR
2005
Springer
16 years 9 days ago
Grid-BGC: A Grid-Enabled Terrestrial Carbon Cycle Modeling System
Grid-BGC is a Grid-enabled terrestrial biogeochemical cycle simulator collaboratively developed by the National Center for Atmospheric Research (NCAR) and the University of Colorad...
Jason Cope, Craig Hartsough, Peter Thornton, Henry...
FASE
2005
Springer
16 years 9 days ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
« Prev « First page 1653 / 1965 Last » Next »