3256 search results - page 585 / 652 » Applications of Formal Methods to System Design and Verifica... |
SSS
2009
Springer
15 years 4 months ago
2009
Springer
In recent years peer-to-peer (P2P) technology has been adopted by Internet-based malware as a fault tolerant and scalable communication medium for self-organization and survival. I...
FPGA
2004
ACM
15 years 3 months ago
2004
ACM
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
DAGSTUHL
2007
14 years 11 months ago
2007
: Many structured light scanning systems based on temporal pattern codification produce dense and robust results on static scenes but behave very poorly when applied to dynamic sc...
CLUSTER
2002
IEEE
14 years 9 months ago
2002
IEEE
High-performance computing faces considerable change as the Internet and the Grid mature. Applications that once were tightly-coupled and monolithic are now decentralized, with co...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...