1445 search results - page 117 / 289 » Properties of state spaces and their applications |
198
click to vote
CLADE
2003
IEEE
15 years 11 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
156
click to vote
LOPSTR
2007
Springer
16 years 15 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
154
click to vote
ISSTA
2006
ACM
16 years 10 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
212
click to vote
DCOSS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
188
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: There are many important clustering questions in computational biology for which no satisfactory method exists. Automated clustering algorithms, when applied to large,...