4350 search results - page 367 / 870 » Case studies for contract-based systems |
142
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
178
click to vote
MTA
2000
15 years 6 months ago
2000
As the amount of information technology increases, managing information resources, so that the correct people can find the information easily, becomes a critical issue. Hypermedia...
206
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
185
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
Research on automatic sign language recognition (ASLR) has mostly been conducted from a machine learning perspective. We propose to implement results from human sign recognition st...
194
click to vote
JOC
2011
14 years 9 months ago
2011
Physical random number generators (a.k.a. TRNGs) appear to be critical components of many cryptographic systems. Yet, such building blocks are still too seldom provided with a form...