161 search results - page 8 / 33 » Design and Mathematical Analysis of Agent-Based Systems |
144
click to vote
RECOMB
2000
Springer
15 years 8 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...
163
click to vote
FOSSACS
2008
Springer
15 years 6 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...
146
click to vote
IH
1999
Springer
15 years 9 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...
140
click to vote
ISSTA
2004
ACM
15 years 10 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...
144
click to vote
WORDS
2005
IEEE
15 years 10 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 ...