290 search results - page 51 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
114
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
121
click to vote
ESEC
1999
Springer
15 years 7 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
125
click to vote
WSC
2008
15 years 5 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
147
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
204
Voted
CLIMA
2011
14 years 3 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...