4983 search results - page 783 / 997 » order 2008 |
137
click to vote
CAISE
2008
Springer
15 years 6 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...
140
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
141
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Today, companies are immersed in extremely competitive worldwide markets that change continuously. Thus, companies have to evolve introducing strategic and structural cha...
146
click to vote
CARDIS
2008
Springer
15 years 6 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
117
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...