Sciweavers

3507 search results - page 614 / 702
» Specialized execution environments
Sort
View
ENTCS
2002
97views more  ENTCS 2002»
13 years 10 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
AAI
1999
147views more  AAI 1999»
13 years 9 months ago
Animated Agents for Procedural Training in Virtual Reality: Perception, Cognition, and Motor Control
This paper describes Steve, an animated agent that helps students learn to perform physical, procedural tasks. The student and Steve cohabit a three-dimensional, simulated mock-up...
Jeff Rickel, W. Lewis Johnson
AAMAS
1999
Springer
13 years 9 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
JCSC
2002
87views more  JCSC 2002»
13 years 9 months ago
Power Estimator Development for Embedded System Memory Tuning
Memory accesses account for a large percentage of total power in microprocessor-based embedded systems. The increasing use of microprocessor cores and synthesis, rather than prefa...
Frank Vahid, Tony Givargis, Susan Cotterell
TELSYS
2002
73views more  TELSYS 2002»
13 years 9 months ago
Avoiding Counting to Infinity in Distance Vector Routing
The Routing Information Protocol (RIP) may introduce misleading routing information into the routing table, due to network topology changes such as link or router failures. This is...
Andreas Schmid, Christoph Steigner