Sciweavers

11716 search results - page 413 / 2344
» Computable symbolic dynamics
Sort
View
207
Voted
EURONGI
2006
Springer
15 years 10 months ago
Job Scheduling for Maximal Throughput in Autonomic Computing Systems
Abstract. Autonomic computing networks manage multiple tasks over a distributed network of resources. In this paper, we view an autonomic computing system as a network of queues, w...
Kevin Ross, Nicholas Bambos
215
Voted
APCSAC
2001
IEEE
15 years 10 months ago
The First Real Operating System for Reconfigurable Computers
Traditional reconfigurable computing platforms are designed to be single user and have been acknowledged to be difficult to design applications for. The design tools are still pri...
Grant B. Wigley, David A. Kearney
CONCUR
2006
Springer
15 years 8 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
222
Voted
CIB
2004
83views more  CIB 2004»
15 years 6 months ago
Web-Based Semantic Pervasive Computing Services
Abstract-- Pervasive Computing refers to a seamless and invisible computing environment which provides dynamic, proactive and context-aware services to the user by acquiring contex...
Yugyung Lee, Soon Ae Chun, James Geller
167
Voted
COMPUTER
2004
144views more  COMPUTER 2004»
15 years 6 months ago
ActiveCampus: Experiments in Community-Oriented Ubiquitous Computing
The UCSD ActiveCampus project is an exploration of wireless location-aware computing in the university setting. ActiveClass supports classroom activities such as anonymous asking ...
William G. Griswold, Patricia Shanahan, Steven W. ...