1643 search results - page 223 / 329 » Consistability: Describing Usually Consistent Systems |
ENTCS
2007
14 years 10 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
85
Voted
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
In recent years, a number of projects have turned to Wikipedia to establish large-scale taxonomies that describe orders of magnitude more entities than traditional manually built ...
91
Voted
ENASE
2009
14 years 8 months ago
2009
In traditional Software Engineering approaches, an application is described as a composite entity containing all its components. This approach is no longer relevant in modern Softw...
CACM
2010
14 years 8 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
CVPR
2001
IEEE
16 years 27 days ago
2001
IEEE
This paper describes an imagingsystem that has been designed specifically for the purpose of recovering egomotion and structure from video. The system consists of six cameras in a...