6978 search results - page 1288 / 1396 » On Proofs in System P |
DATAMINE
2006
13 years 9 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
ENTCS
2006
13 years 9 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
INFSOF
2008
13 years 9 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
CN
2007
13 years 9 months ago
2007
Worms are self-replicating malicious programs that represent a major security threat for the Internet, as they can infect and damage a large number of vulnerable hosts at timescal...
CPHYSICS
2007
13 years 9 months ago
2007
Python is a relatively new computing language, created by Guido van Rossum (Tanenbaum et al, 1990), which is particularly suitable for teaching a course in computational physics. ...