Sciweavers

6592 search results - page 326 / 1319
» On robust cycle bases
Sort
View
APSCC
2008
IEEE
15 years 8 months ago
Contract-Based Security Monitors for Service Oriented Software Architecture
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
Alexander M. Hoole, Issa Traoré
158
Voted
APCCM
2004
15 years 8 months ago
On the Road to Behavior-Based Integration
Integration of autonomous object-oriented systems requires the integration of object structure and object behaviour. Research in federated information systems has so far mainly ad...
Markus Stumptner, Michael Schrefl, Georg Grossmann
134
Voted
FLAIRS
2001
15 years 8 months ago
A Tool for Autonomous Ground-Based Rover Planning
Thispaperdiscussesa proof-of-conceptprototypefor ground-basedautomaticgenerationof validatedrover commandsequences from high-level science and engineeringactivities.Thisprototypei...
Rob Sherwood, Andrew Mishkin, Tara A. Estlin, Stev...
WISES
2003
15 years 8 months ago
Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Ap
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
Stefan Pitzek, Peter P. Puschner
153
Voted
ISMB
1997
15 years 8 months ago
RIBOWEB: Linking Structural Computations to a Knowledge Base of Published Experimental Data
The world wide web(WWW)has becomecritical for storing and disseminatingbiological data. It offers an additional opportunity, however,to support distributed computation and sharing...
Richard O. Chen, Ramon M. Felciano, Russ B. Altman