670 search results - page 101 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
124
Voted
NIPS
2004
15 years 1 months ago
2004
We use unsupervised probabilistic machine learning ideas to try to explain the kinds of learning observed in real neurons, the goal being to connect abstract principles of self-or...
120
Voted
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
104
click to vote
EUROCRYPT
2007
Springer
15 years 6 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
89
Voted
WSC
2007
15 years 2 months ago
2007
Two discrete-event simulations are developed to assess the feasibility of improving the delivery process of reinforced concrete structures. The simulations represent the resource ...
105
Voted
ASPLOS
1992
ACM
15 years 4 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...