Sciweavers

12742 search results - page 252 / 2549
» On canonical number systems
Sort
View
ICRA
2003
IEEE
147views Robotics» more  ICRA 2003»
15 years 12 months ago
Modular petri net based modeling, analysis and synthesis of dedicated production systems
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
George J. Tsinarakis, Kimon P. Valavanis, Nikos Ts...
COMPSAC
2002
IEEE
15 years 11 months ago
Case Study: Componentization of an Industrial Control System
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...
Frank Lüders, Ivica Crnkovic, Andreas Sjö...
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 11 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
INTEROP
1999
Springer
146views GIS» more  INTEROP 1999»
15 years 11 months ago
Architecture Considerations for Advanced Earth Observation Application Systems
Application systems in the earth observation area can be characterised as distributed, platform-inhomogeneous, complex, and cost intensive information systems. In order to manage t...
Hermann Ludwig Möller, Marcello Mariucci, Ber...
DAS
2006
Springer
15 years 10 months ago
On Benchmarking of Invoice Analysis Systems
Abstract. An approach is presented to guide the benchmarking of invoice analysis systems, a specific, applied subclass of document analysis systems. The state of the art of benchma...
Bertin Klein, Stefan Agne, Andreas Dengel