130
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
133
Voted
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
We consider blog feed search: identifying relevant blogs for a given topic. An individual’s search behavior often involves a combination of exploratory behavior triggered by sal...
136
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
171
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...