1253 search results - page 214 / 251 » A Case Study of Requirements Elicitation Process with Change... |
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the struc...
DATE
2006
IEEE
15 years 1 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single m...
AAAI
2007
15 years 9 days ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
APSEC
2008
IEEE
14 years 12 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...