161 search results - page 8 / 33 » Design and Mathematical Analysis of Agent-Based Systems |
RECOMB
2000
Springer
15 years 4 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
120
Voted
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
97
Voted
IH
1999
Springer
15 years 4 months ago
1999
Springer
This paper summarizes considerations and rationales for the design of a watermark detector. In particular, we relate watermark detection to the problem of signal detection in the p...
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
101
Voted
WORDS
2005
IEEE
15 years 6 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...