14190 search results - page 153 / 2838 » Abstractions for hybrid systems |
160
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
In a hybrid peer-to-peer (P2P) system, flooding and DHT are both employed for content locating. The decision to use flooding or DHT largely depends on the population of desired da...
184
click to vote
ICLP
2007
Springer
16 years 19 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
181
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
239
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
For applications that involve rapidly changing textual data and also require traditional DBMS capabilities, current systems are unsatisfactory. In this paper, we describe a hybrid...
193
click to vote
JVA
2006
IEEE
16 years 15 days ago
2006
IEEE
With the rapid evolution of mobile and ubiquitous computing, small-scale devices like personal digital assistants, smart "converged" phones and laptops now dominate the ...