4075 search results - page 751 / 815 » Modeling Distributed Algorithm Using B |
145
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
The rapid growth of available data arises the need for more sophisticated techniques for semantic access to information. It has been proved that using conceptual model or ontology...
125
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
139
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— Standard embeded sensor nework models emphasize energy efficiency and distributed decision-making by considering untethered and unattended sensors. To this we add two ...
135
click to vote
WWW
2002
ACM
16 years 4 months ago
2002
ACM
The Web graph is a giant social network whose properties have been measured and modeled extensively in recent years. Most such studies concentrate on the graph structure alone, an...
138
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...