3564 search results - page 474 / 713 » Evaluating a Formal Modelling Language |
149
Voted
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
141
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
128
Voted
FC
2005
Springer
15 years 9 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
144
Voted
MMMACNS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
105
Voted
AI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In the GRAAD project we are developing a knowledgebased system able of determine routes in a simulated urban environment and to generate natural language descriptions whi...