1445 search results - page 231 / 289 » Properties of state spaces and their applications |
91
Voted
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Instant messaging has become a part of our daily live. Instant communication, either with a mobile device or with a computer based application, is an increasingly used form of com...
101
click to vote
PPOPP
2005
ACM
15 years 7 months ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
130
click to vote
RSP
2003
IEEE
15 years 7 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
129
click to vote
PODS
2010
ACM
15 years 7 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
115
Voted
AGENTS
2000
Springer
15 years 6 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...