554 search results - page 74 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
114
click to vote
DOCENG
2004
ACM
15 years 7 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
113
click to vote
JASIS
2006
15 years 1 months ago
2006
P2P applications are rapidly gaining acceptance among users of Internet-based services, especially because of their capability of exchanging resources while preserving the anonymi...
120
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
PET
2009
Springer
15 years 8 months ago
2009
Springer
Delivery of products bought online can violate consumers’ privacy, although not in a straightforward way. In particular, delivery companies that have contracted with a website kn...
120
click to vote
WADT
1998
Springer
15 years 5 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...