2282 search results - page 223 / 457 » Active property checking |
190
Voted
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
157
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
We have implemented an aspect of learning and memory in the nervous system using analog electronics. Using a simple synaptic circuit we realize networks with Hebbian type adaptati...
294
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
223
click to vote
SACMAT
2009
ACM
16 years 19 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
171
Voted
PPDP
2007
Springer
16 years 7 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...