10159 search results - page 537 / 2032 » System Design Validation Using Formal Models |
168
click to vote
DB
1998
15 years 6 months ago
1998
Design of a distributed transaction processing system is a complex process. The paper describes the design and implementation of a general purpose scalable simulation environment ...
176
click to vote
ICEBE
2007
IEEE
16 years 20 days ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
129
click to vote
ECIS
2001
15 years 7 months ago
2001
Based on the analysis of four case vignettes the architecture and design principles of international information systems are explored. A two-dimensional topology
174
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...
164
click to vote
FIW
2007
15 years 7 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...