1460 search results - page 67 / 292 » Very Lightweight Requirements Modeling |
102
click to vote
ISI
2006
Springer
15 years 4 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
102
click to vote
CPAIOR
2004
Springer
15 years 9 months ago
2004
Springer
We discuss a di cult optimization problem on a chess-board, requiring equal numbers of black and white queens to be placed on the board so that the white queens cannot attack the b...
150
click to vote
NCA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Data-centric storage [6] is a very important concept for sensor networks that supports efficient in-network data query and processing. Previous approaches are mostly using a h...
134
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Fully automatic 3D modeling from a catadioptric image sequence has rarely been addressed until now, although this is a long-standing problem for perspective images. All previous c...
132
click to vote
PVM
2007
Springer
15 years 10 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...