1318 search results - page 223 / 264 » The formal semantics of the timeER model |
193
click to vote
SAC
2009
ACM
16 years 28 days 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 ...
161
click to vote
SEFM
2009
IEEE
16 years 26 days 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 ...
176
click to vote
ICC
2007
IEEE
16 years 14 days 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...
192
click to vote
COORDINATION
2005
Springer
15 years 11 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 ...
149
click to vote
ESWS
2005
Springer
15 years 11 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...