25156 search results - page 189 / 5032 » Applications for conscious systems |
154
click to vote
SIGADA
2005
Springer
16 years 7 hour ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
136
click to vote
ICPR
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper describes an integrated system for building a multiplanar model of the scene as the camera is localized on the fly. The core of this system is a robust and accurate pr...
145
click to vote
CASCON
2006
15 years 8 months ago
2006
Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protect...
143
click to vote
ENTCS
2007
15 years 6 months ago
2007
Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation ...
269
click to vote
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
We present some architectural and technological insights on SAP’s HANA database and derive research challenges for future enterprise application development. The HANA database m...