Sciweavers

7080 search results - page 720 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
BMCBI
2011
14 years 10 months ago
MINE: Module Identification in NEtworks
Background: Graphical models of network associations are useful for both visualizing and integrating multiple types of association data. Identifying modules, or groups of function...
Kahn Rhrissorrakrai, Kristin C. Gunsalus
EMSOFT
2008
Springer
15 years 9 months ago
Interface theories with component reuse
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstm...
WSC
2007
15 years 9 months ago
Enabling industrial scale simulation/emulation models
OLE Process Control (OPC) is an industry standard that facilitates the communication between PCs and Programmable Logic Controllers (PLC). This communication allows for the testin...
Michael Johnstone, Douglas C. Creighton, Saeid Nah...
AUTOMATICA
2007
86views more  AUTOMATICA 2007»
15 years 7 months ago
Switched seesaw control for the stabilization of underactuated vehicles
This paper addresses the stabilization of a class of nonlinear systems in the presence of disturbances, using switching controllers. To this effect we introduce two new classes o...
A. Pedro Aguiar, João P. Hespanha, Ant&oacu...
CSCW
2010
ACM
16 years 4 months ago
Invisible emotion: information and interaction in an emergency room
Emotions are an often overlooked aspect of work since they are not included in formal work models. However, they continue provide critical information as well as be part of a rich...
Helena M. Mentis, Madhu Reddy, Mary Beth Rosson