633 search results - page 38 / 127 » System synthesis utilizing a layered functional model |
112
click to vote
ISMVL
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
127
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
149
click to vote
NOMS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present fault localization techniques suitable for diagnosing end-to-end service problems in communication systems with complex topologies. We refine a layered system model th...
130
click to vote
BSN
2009
IEEE
15 years 10 months ago
2009
IEEE
We present an open-source platform for wireless body sensor networks called DexterNet. The system supports real-time, persistent human monitoring in both indoor and outdoor enviro...
175
Voted
CRYPTO
2012
Springer
13 years 6 months ago
2012
Springer
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....