Sciweavers

3582 search results - page 284 / 717
» Designing games with a purpose
Sort
View

Book
269views
17 years 5 months ago
Type Systems for Programming Languages
"These notes were prepared for use in the graduate course Computer Science 15– 814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is ...
Robert Harper
IPPS
2006
IEEE
16 years 1 months ago
Self-stabilizing distributed algorithms for graph alliances
Graph alliances are recently developed global properties of any symmetric graph. Our purpose in the present paper is to design self-stabilizing fault tolerant distributed algorith...
Zhenyu Xu, Pradip K. Srimani
ICDCSW
2005
IEEE
16 years 1 months ago
An Intermediary Software Infrastructure for Edge Services
We describe the goals and architecture of a new framework that aims at facilitating the deployment of adaptation services running on intermediate edge servers. The main goal is to...
Raffaella Grieco, Delfina Malandrino, Vittorio Sca...
ECBS
2003
IEEE
148views Hardware» more  ECBS 2003»
16 years 21 days ago
Autonomic Computing - A Means of Achieving Dependability?
Autonomic Computing is emerging as a significant new approach to the design of computing systems. Its goal is the development of systems that are selfconfiguring, self-healing, se...
Roy Sterritt, David W. Bustard
ICEIS
2002
IEEE
16 years 10 days ago
Controlling and Testing a Space Instrument by an AI Planner
The PESCA instrument has been designed and built with the purpose of studying the Solar Energetic Particles and the Anomalous Cosmic Rays. It will be part of the Russian PHOTON sat...
Md. R-Moreno, Manuel Prieto, D. Daniel Meziat Luna...