1557 search results - page 201 / 312 » Evolution of Business Processes and a Process Simulation Too... |
112
click to vote
SSS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
140
click to vote
CMMR
2005
Springer
15 years 5 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
106
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
163
click to vote
IUI
2009
ACM
16 years 18 days ago
2009
ACM
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...
132
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
As Resource Description Framework (RDF) reaches maturity, there is an increasing need for tools that support it. A common and natural representation for RDF data is a directed lab...