2662 search results - page 191 / 533 » Objects-early tools: a demonstration |
113
click to vote
WSC
2008
15 years 4 months ago
2008
This paper presents first steps towards the development of a formal model of the research process. We evaluate the use of simulation as a tool for the evaluation of research strat...
118
Voted
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...
100
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
The rapidly rising cost and environmental impact of energy consumption in data centers has become a multi-billion dollar concern globally. In response, the IT Industry is actively...
127
click to vote
BPM
2008
Springer
15 years 3 months ago
2008
Springer
Process mining has proven to be a valuable tool for analyzing operational process executions based on event logs. Existing techniques perform well on structured processes, but stil...
118
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...