5015 search results - page 699 / 1003 » Model Checking a Path |
209
click to vote
GCC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...
168
Voted
PODC
2003
ACM
15 years 12 months ago
2003
ACM
We introduce a novel game that models the creation of Internet-like networks by selfish node-agents without central design or coordination. Nodes pay for the links that they esta...
169
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
183
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
Optimistic replication of data is a widely used tool for mobile environments, but the behavior of concurrent conflicting updates caused by the relaxed consistency model is poorly ...
167
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...