1236 search results - page 171 / 248 » From Conceptual Modeling to Requirements Engineering |
120
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
208
click to vote
PAMI
2012
13 years 8 months ago
2012
—We present an algorithm that simultaneously calibrates two color cameras, a depth camera, and the relative pose between them. The method is designed to have three key features: ...
148
click to vote
SIGDOC
2005
ACM
15 years 12 months ago
2005
ACM
The creation process of technical documentation is an expensive and time-consuming task especially for complex products. To make this process more cost-efficient computerized supp...
183
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
244
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
— The web today is increasingly characterized by social and real-time signals, which we believe represent two frontiers in information retrieval. In this paper, we present Earlyb...