1438 search results - page 48 / 288 » Models for Trustworthy Service and Process Oriented Systems |
202
click to vote
DEXA
1997
Springer
15 years 9 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
161
click to vote
NC
2010
15 years 4 months ago
2010
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
148
click to vote
IJIPT
2006
15 years 6 months ago
2006
: Service-Oriented Architectures (SOA) are a promising means to integrate heterogeneous systems, but virtually no technology -neutral approach to holistically understand SOAs exist...
184
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...
164
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...