3515 search results - page 610 / 703 » On the semantics of Strategy Logic |
208
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-Instance-Precommit (MIP) has been recently presented as an innovative transaction management scheme in support of reliability for Atomic Transactions in multitier (e.g. Web-...
172
click to vote
ICDE
2008
IEEE
16 years 1 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...
187
Voted
ICTAI
2008
IEEE
16 years 1 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 ...
199
click to vote
DATE
2007
IEEE
16 years 1 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...
176
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— One of the main obstacles facing the application of computational intelligence technologies in pattern recognition (and indeed in many other tasks) is that of dataset dimension...