Sciweavers

2171 search results - page 142 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
JTRES
2010
ACM
15 years 2 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
104
Voted
IROS
2008
IEEE
151views Robotics» more  IROS 2008»
15 years 8 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 4 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
124
Voted
SASO
2008
IEEE
15 years 8 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...
102
Voted
CHI
2007
ACM
16 years 2 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...