496 search results - page 50 / 100 » Model Checking Expressive Web Service Descriptions |
COORDINATION
2006
Springer
14 years 23 days ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
ER
2000
Springer
14 years 20 days ago
2000
Springer
The need for descriptive information, i.e., metadata, about Web resources has been recognized in several application contexts (e.g., digital libraries, portals). The Resource Descr...
ESWS
2005
Springer
14 years 2 months ago
2005
Springer
Semantic Web Services offer the possibility of highly flexible web service architectures, where new services can be quickly discovered, orchestrated and composed into workflows....
ICDT
2009
ACM
14 years 9 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
DASFAA
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we describe the design and implementation of a CORBA Query Service targeted to access data that is defined by the EXPRESS data modeling language. EXPRESS is used pri...