446 search results - page 20 / 90 » LTS semantics for use case models |
111
click to vote
COORDINATION
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
ICLP
1995
Springer
15 years 3 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
EJC
2010
14 years 6 months ago
2010
We all use our associative memory constantly. Words and concepts form paths that we can follow to find new related concepts; for example, when we think about a car we may associate...
115
click to vote
RWEB
2010
Springer
14 years 9 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
111
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...