746 search results - page 104 / 150 » Formal Analysis of UML-Based Designs |
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
131
click to vote
BCS
2008
15 years 3 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
111
Voted
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
116
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
This paper provides initial analysis in identifying possible Web services composition using context-based semantic matching. Context-based semantic matching allows service composi...
133
Voted
CSCWD
2001
Springer
15 years 6 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...