1814 search results - page 274 / 363 » Extended First-Order Logic |
RISE
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...
XSYM
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we describe an approach to boosting the performance of an XQuery engine by identifying and exploiting opportunities to share processing both within and across XML qu...
100
click to vote
DFT
2003
IEEE
15 years 3 months ago
2003
IEEE
We discuss the use of convolutional codes to perform concurrent error detection (CED) in finite state machines (FSMs). We examine a previously proposed methodology, we identify i...
ITC
2003
IEEE
15 years 3 months ago
2003
IEEE
The IEEE 1149.6 standard was approved in March of 2003. The standard extends the capability of the IEEE 1149.1 standard to include AC-coupled and/or differential nets. These nets ...