Sciweavers

4679 search results - page 494 / 936
» The Timely Computing Base Model and Architecture
Sort
View
HPCS
2002
IEEE
15 years 11 months ago
MetaGrid: A Scalable Framework for Wide-Area Service Deployment and Management
This paper presents a novel architecture called the MetaGrid based on Grid computing concepts for resource provisioning for wide-area network-enabled applications. Resource provis...
Muthucumaru Maheswaran, Balasubramaneyam Maniymara...
DALT
2005
Springer
16 years 12 days ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
CPHYSICS
2011
267views Education» more  CPHYSICS 2011»
14 years 10 months ago
Fast alignment of a complex tracking detector using advanced track models
The inner silicon detector of the Compact Muon Solenoid experiment (CMS) at CERN’s LHC consists of 16 588 modules. Charged-particle tracks in the detector are used to improve th...
Volker Blobel, Claus Kleinwort, Frank Meier
COMPUTER
2000
128views more  COMPUTER 2000»
15 years 6 months ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee