3082 search results - page 572 / 617 » Deviation Analysis: A New Use of Model Checking |
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Ever more scientists are employing large-scale distributed systems such as grids for their computational work, instead of tightly coupled high-performance computing systems. Howev...
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
124
click to vote
SCALESPACE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Natural images consist of texture, structure and smooth regions and this makes the task of filtering challenging mainly when it aims at edge and texture preservation. In...
108
click to vote
W2GIS
2007
Springer
15 years 6 months ago
2007
Springer
One of the challenges raised by the construction of the semantic Web lies in the analysis and management of complex relationships (thematic, spatial and temporal) connecting severa...
SIGSOFT
2006
ACM
15 years 5 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...