4340 search results - page 781 / 868 » Formal Methods and Cryptography |
142
click to vote
ENTCS
2007
15 years 4 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
123
click to vote
JSAC
2006
15 years 4 months ago
2006
Abstract-- Information about the topology and link-level characteristics of a network is critical for many applications including network diagnostics and management. However, this ...
124
click to vote
PAMI
2006
15 years 4 months ago
2006
Recent papers and patents in iterative unsupervised learning have emphasized a new trend in clustering. It basically consists of penalizing solutions via weights on the instance po...
143
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
148
click to vote
TMI
2008
15 years 4 months ago
2008
With continuing improvements in spatial resolution of positron emission tomography (PET) scanners, small patient movements during PET imaging become a significant source of resolut...