1792 search results - page 152 / 359 » Requirements Capture with RCAT |
144
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
273
click to vote
VLSI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
193
click to vote
3DPVT
2006
IEEE
16 years 17 days ago
2006
IEEE
Self-calibration is one of the most active issues concerning vision-based 3D measurements. However, in the case of the light sectioning method, there has been little research cond...
176
click to vote
ACSC
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
152
click to vote
AINA
2006
IEEE
16 years 17 days ago
2006
IEEE
Pervasive computing is becoming a reality, thanks to advances in wireless networking and increased popularity of portable devices. Users of these devices will need support to deci...