3256 search results - page 114 / 652 » Applications of Formal Methods to System Design and Verifica... |
122
Voted
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face t...
155
Voted
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
145
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
117
click to vote
IVC
2006
15 years 4 months ago
2006
The purpose of Face localization is to determine the coordinates of a face in a given image. It is a fundamental research area in computer vision because it serves, as a necessary...
162
Voted
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...