Sciweavers

1802 search results - page 105 / 361
» Using Declarative Specifications in Business Process Design
Sort
View
134
Voted
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 2 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
151
Voted
EWSPT
2003
Springer
15 years 8 months ago
Quality Ensuring Development of Software Processes
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
Alexander Förster, Gregor Engels
129
Voted
VLSISP
2008
104views more  VLSISP 2008»
15 years 2 months ago
Guidance of Loop Ordering for Reduced Memory Usage in Signal Processing Applications
Data dominated signal processing applications are typically described using large and multi-dimensional arrays and loop nests. The order of production and consumption of array ele...
Per Gunnar Kjeldsberg, Francky Catthoor, Sven Verd...
102
Voted
HRI
2006
ACM
15 years 8 months ago
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
Lilia Moshkina, Yoichiro Endo, Ronald C. Arkin
127
Voted
DEBS
2007
ACM
15 years 6 months ago
Concepts and models for typing events for event-based systems
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...