Sciweavers

5407 search results - page 1006 / 1082
» The Software Engineering Global Model
Sort
View
133
Voted
WSC
1997
15 years 4 months ago
Using Compensating Reconfiguration to Maintain Military Distributed Simulations
In Department of Defense (DoD) distributed training simulations, events occur that can cause unrealistic behavior. These events can be system events, such as the loss of a hostor ...
Donald J. Welch, James M. Purtilo
AAMAS
2007
Springer
15 years 3 months ago
An algebra for commitment protocols
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
Ashok U. Mallya, Munindar P. Singh
149
Voted
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 3 months ago
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
Rohit Chadha, Mahesh Viswanathan
ALIFE
2006
15 years 3 months ago
A Comprehensive Overview of the Applications of Artificial Life
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...
Kyung-Joong Kim, Sung-Bae Cho
CGA
2007
15 years 3 months ago
Interactive Illustrative Rendering on Mobile Devices
Illustrative rendering is a widely used visualization technique to display conceptual information, describe problems and give insight to solve them efficiently in science, engine...
Jingshu Huang, Brian Bue, Avin Pattath, David S. E...
« Prev « First page 1006 / 1082 Last » Next »