1318 search results - page 223 / 264 » The formal semantics of the timeER model |
119
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
SEFM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
105
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
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 ...
ESWS
2005
Springer
15 years 5 months ago
2005
Springer
RDF uses the RFC3066 standard for language tags for literals in natural languages. The revision RFC3066bis includes productive use of language, country and script codes. These form...