8179 search results - page 1203 / 1636 » The PRACTIONIST Development Tool |
178
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
196
click to vote
ACMDIS
2004
ACM
16 years 8 days ago
2004
ACM
Context photography consists of capturing context when taking a still picture, by sensing physical input in addition to light and representing it visually in real time. With this ...
176
click to vote
SENSYS
2004
ACM
16 years 8 days ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...
212
click to vote
EUROCRYPT
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
211
click to vote
CODES
2003
IEEE
16 years 4 days ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...