Sciweavers

3483 search results - page 389 / 697
» Using Subject-Oriented Modeling to Develop Jini Applications
Sort
View
WSC
2008
15 years 9 months ago
Empowering decision support with simulation technology - Scenario Navigator
The commercial simulation environments that are available today focus primarily on the development of simulation models. They are designed for a single user. They provide animatio...
Edwin Valentin, Renk A. Bijlsma, Vincent de Gast
ECOOPW
1998
Springer
15 years 11 months ago
MOPping up Exceptions
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...
Stuart E. Mitchell, Alan Burns, Andy J. Wellings
FM
2008
Springer
184views Formal Methods» more  FM 2008»
15 years 8 months ago
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
Thierry Lecomte
WOA
2000
15 years 8 months ago
OO Reactive Agents for RDM-Based Simulations
The computer simulation of complex phenomena is a challenging issue for studying their properties. Several models and techniques have been developed in order to provide useful con...
Stefania Bandini, Flavio De Paoli, Sara Manzoni, C...
ICRA
2006
IEEE
148views Robotics» more  ICRA 2006»
16 years 22 days ago
AutoPower: Toward Energy-aware Software Systems for Distributed Mobile Robots
— Autonomous robot systems have to manage their energy wisely in order to complete their missions. Typical approaches seek to conserve energy by energy-efficient motion or senso...
Keith J. O'Hara, Ripal Nathuji, Himanshu Raj, Kars...