1438 search results - page 71 / 288 » Models for Trustworthy Service and Process Oriented Systems |
148
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper will present an approach that fosters a seamless integration of documents with corporate information systems. It is based on a conceptually enhanced notion of documents...
238
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
160
click to vote
FORTE
2008
15 years 7 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
138
click to vote
CAISE
2009
Springer
16 years 27 days ago
2009
Springer
Service-Oriented Architecture (SOA) can provide a paradigm
for constructing context-aware collaboration systems. Particularly, the
promise of inexpensive context-aware collaborat...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A Rapid evolution of mobile technologies has led to the development of more sophisticated mobile devices with better storage, processing and transmission power. These factors enab...