10159 search results - page 623 / 2032 » System Design Validation Using Formal Models |
175
click to vote
HICSS
2003
IEEE
16 years 12 days ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
167
click to vote
APCCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— DAB is a growing communication technology for digital audio broadcasting and demands higher concentration on flexible and cost optimum implementations for use in new mobile ele...
206
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we propose a new approach to compute the scale space of any omnidirectional image acquired with a central catadioptric system. When these cameras are central they ar...
186
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
209
click to vote
ISSA
2004
15 years 8 months ago
2004
Passports and visas are currently undergoing a rapid change due to legislation being passed by authorities such as the US requirement that they should have machine readable biomet...