3799 search results - page 532 / 760 » An Engineering Approach to Formal Methods |
150
Voted
BIOINFORMATICS
2005
15 years 6 months ago
2005
Inner holes, artifacts and blank spots are common in microarray images, but current image analysis methods do not pay them enough attention. We propose a new robust model-based me...
186
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
175
click to vote
AGTIVE
1999
Springer
15 years 11 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
139
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
198
click to vote
AROBOTS
2011
15 years 1 months ago
2011
Abstract— Many applications require teams of robots to cooperatively execute complex tasks. Among these domains are those where successful coordination solutions must respect con...