3256 search results - page 195 / 652 » Applications of Formal Methods to System Design and Verifica... |
166
click to vote
MOBIHOC
2009
ACM
16 years 7 months ago
2009
ACM
Location-free boundary recognition is crucial and critical for many fundamental network functionalities in wireless ad hoc and sensor networks. Previous designs, often coarse-grai...
166
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
160
click to vote
ACMDIS
2006
ACM
16 years 13 days ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
149
click to vote
AEI
1998
15 years 6 months ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
170
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we present a new method to design customizable self-evolving fuzzy rule-based classifiers. The presented approach combines an incremental clustering algorithm with a...