5775 search results - page 353 / 1155 » A Rationale-based Analysis Tool |
128
click to vote
BPM
2005
Springer
16 years 10 days ago
2005
Springer
Most workflow tools support structured workflows despite the fact that unstructured workflows can be more expressive. The reason for this is that unstructured workflows are more pr...
183
click to vote
CCS
2005
ACM
16 years 10 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...
177
click to vote
EPEW
2005
Springer
16 years 10 days ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
199
click to vote
BIOADIT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
162
click to vote
ICWE
2004
Springer
16 years 5 days ago
2004
Springer
Many works has been made to improve the users browsing on Web sites notably with the adaptation techniques which allow to guide the users according to their profile in order to di...