2500 search results - page 446 / 500 » Logical Semantics of Modularisation |
ICDE
2008
IEEE
15 years 5 months ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
ICTAI
2008
IEEE
15 years 5 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
QEST
2008
IEEE
15 years 5 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
ACSC
2007
IEEE
15 years 5 months ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
DATE
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...