4123 search results - page 258 / 825 » Multiple Relational Embedding |
145
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present an overview of the selfmanagement features of SQL Anywhere, a full-function relational database system designed for frontline business environments with m...
170
click to vote
ACSD
2006
IEEE
16 years 24 days ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
157
Voted
FATES
2004
Springer
16 years 3 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
179
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
127
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
ABSTRACT - In this paperwe describe the design, implementation, and performance of an incremental join facility that has been added as an extension to the Starburst extensible DBMS...