8555 search results - page 315 / 1711 » Property Based Coordination |
204
Voted
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes various possible attacks on temporal properties such as temporal records of payment times and declarations of the closing times for electronic submissions, an...
234
Voted
ICCD
1996
IEEE
15 years 11 months ago
1996
IEEE
The Multi-Level Decomposition Diagrams (MLDDs) of this paper are a canonical representation of Boolean functions expliciting disjoint-support decompositions. MLDDs allow the reduc...
188
click to vote
ISER
1993
Springer
15 years 11 months ago
1993
Springer
In previous papers, I have argued that while parallel mechanisms are well known for their favorable structural properties, their utility is generally limited by an inherently small...
193
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
242
click to vote
ALGOSENSORS
2006
Springer
15 years 11 months ago
2006
Springer
Ad hoc sensor networks consist of large number of wireless sensors that communicate with each other in the absence of a xed infrastructure. Fast self-recon guration and power eci...