362 search results - page 39 / 73 » Semantic matchmaking of web services using model checking |
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
GI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CIA
2003
Springer
14 years 1 months ago
2003
Springer
This paper describes a multi-agent system, GraniteNights, modelled on the Agentcities project “evening agent” scenario. GraniteNights allows a user to plan an evening’s enter...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...