10568 search results - page 525 / 2114 » Computer Intelligence and Formalization |
130
click to vote
ICSOC
2007
Springer
16 years 12 days ago
2007
Springer
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
157
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Cell-DEVS is a combination of CA with the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS. W...
147
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we aim at showing the advantages of Conceptual Graph formalism for the Semantic Web through several real-world applications in the framework of Corporate Semantic We...
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
We present a formalism that is able to cope with search and congestion simultaneously. This formalism avoids the problem of simulating the dynamics of the search-communication proc...
148
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...