Sciweavers

120 search results - page 8 / 24
» Merging partial behavioural models
Sort
View
SDB
1995
178views Database» more  SDB 1995»
14 years 1 months ago
A Semantics-based Approach to Design of Query Languages for Partial Information
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...
Leonid Libkin
FMOODS
2007
13 years 11 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
FUIN
2007
84views more  FUIN 2007»
13 years 9 months ago
Observation Based System Security
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
Damas P. Gruska
ICPR
2004
IEEE
14 years 11 months ago
Integration of Range Images in a Multi-View Stereo System
A novel method for integrating multiple range images in a multi-view stereo imaging system is presented here. Due to self-occlusion an individual range image provides only a parti...
J. Paul Siebert, Jiahua Wu, Nigel J. B. McFarlane,...
DAGSTUHL
2003
13 years 11 months ago
The Future of Embodied Artificial Intelligence: Machine Consciousness?
The idea that internal models of the world might be useful has generally been rejected by embodied AI for the same reasons that led to its rejection by behaviour based robotics. Th...
Owen Holland