488 search results - page 49 / 98 » On the Formal Generation of Process Redesigns |
133
click to vote
MODELS
2010
Springer
15 years 9 days ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
106
click to vote
CPE
2003
Springer
15 years 7 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
100
click to vote
MIS
2001
Springer
15 years 6 months ago
2001
Springer
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
149
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
127
click to vote
COLLABORATION
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...