2662 search results - page 313 / 533 » Objects-early tools: a demonstration |
135
click to vote
BPM
2005
Springer
16 years 3 days ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
174
click to vote
CCS
2005
ACM
16 years 3 days ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
164
click to vote
DSVIS
2005
Springer
16 years 3 days ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
143
click to vote
EMO
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...
200
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...