3885 search results - page 341 / 777 » Clarifying Goal Models |
210
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
155
click to vote
ALIFE
1998
15 years 6 months ago
1998
The soil nematode Caenorhabditis Elegans (C. elegans) is the most investigated of all multi-cellular organisms. Since the proposal to use it as a model organism, a series of resea...
202
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We address the problem of reconstructing 3D face models from large unstructured photo collections, e.g., obtained by Google image search or from personal photo collections in iPho...
183
click to vote
CIDR
2007
15 years 8 months ago
2007
Wireless sensor networks are poised to enable continuous data collection on unprecedented scales, in terms of area location and size, and frequency. This is a great boon to field...
198
click to vote
ET
2007
15 years 6 months ago
2007
In this paper, we focus on reliability, one of the most fundamental and important challenges, in the nanoelectronics environment. For a processor architecture based on the unreliab...