3335 search results - page 401 / 667 » Grid result checking |
168
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
Peer-to-Peer protocols and applications have drawn much attention. Freenet is a groundbreaking Peer-to-Peer system that protects the anonymity of information producers, consumers,...
155
click to vote
ICTAI
2005
IEEE
16 years 5 days ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
170
click to vote
IEEESCC
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
150
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
156
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...