Sciweavers

2171 search results - page 142 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
JTRES
2010
ACM
15 years 7 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
IROS
2008
IEEE
151views Robotics» more  IROS 2008»
16 years 1 months ago
A performance sensitive hormone-inspired system for task distribution amongst evolving robots
— A hormone-inspired task scheduling method is described which assigns tasks to a group of robots, taking into account the robots’ performances. This method draws on previous w...
Joanne H. Walker, Myra S. Wilson
WSC
2007
15 years 9 months ago
Simulation metamodels for modeling output distribution parameters
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
Isabel R. Santos, Pedro R. Santos
SASO
2008
IEEE
16 years 1 months ago
Self-Adaptive Dissemination of Data in Dynamic Sensor Networks
The distribution of data in large dynamic wireless sensor networks presents a difficult problem due to node mobility, link failures, and traffic congestion. In this paper, we pr...
David Dorsey, Bjorn Jay Carandang, Moshe Kam, Chri...
CHI
2007
ACM
16 years 7 months ago
Porta-person: telepresence for the connected conference room
This paper describes a telepresence device called PortaPerson. This is the first project in a larger initiative known as the Connected Conference Room, which aims to improve the u...
Nicole Yankelovich, Nigel Simpson, Jonathan Kaplan...