Sciweavers

1261 search results - page 128 / 253
» Extending the Capabilities of Component Models for Embedded ...
Sort
View
HASE
2007
IEEE
13 years 11 months ago
Behavioral Fault Modeling for Model-based Safety Analysis
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
Anjali Joshi, Mats Per Erik Heimdahl
ICWS
2008
IEEE
13 years 10 months ago
Dynamic Exception Handling Based on Web Services and OPC XML-DA
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...
Francisco Javier Díez, Iñaki Maurtua
FUIN
2010
141views more  FUIN 2010»
13 years 6 months ago
Decidability Problems in Petri Nets with Names and Replication
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
Fernando Rosa Velardo, David de Frutos-Escrig
MVA
1992
117views Computer Vision» more  MVA 1992»
13 years 10 months ago
Representing and Utilising Knowledge for Understanding Structured Documents
This paper presents a document analysis system which is capable of extracting the semantics of specific text portions of structured documents. The main component of the system is ...
Thomas Bayer
CONSTRAINTS
2002
143views more  CONSTRAINTS 2002»
13 years 9 months ago
A Constraint-Based Robotic Soccer Team
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
Yu Zhang, Alan K. Mackworth