139 search results - page 18 / 28 » Analyzing completeness of axiomatic functional systems for t... |
ECBS
1999
IEEE
14 years 1 days ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
SPIC
2010
13 years 2 months ago
2010
This paper presents a complete framework for attention-based video streaming for low bandwidth networks. First, motivated by the fovea-periphery distinction of biological vision s...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
CSFW
1998
IEEE
14 years 13 min ago
1998
IEEE
Existing work on inference detection for database systems mainly employ functional dependencies in the database schema to detect inferences. It has been noticed that analyzing the...
IEEECIT
2006
IEEE
14 years 1 months ago
2006
IEEE
Through as an important part of service-oriented system architecture, service retrieval receives much attention from industry and academia and many methods have been proposed, the...