1833 search results - page 213 / 367 » Mechanized Verification with Sharing |
167
click to vote
IFIP
2007
Springer
16 years 19 days ago
2007
Springer
The paper presents a new theoretical framework for coordinating an inter-unit collaborative service process towards a joint customer. The common service process is itself presente...
186
click to vote
ISPA
2007
Springer
16 years 19 days ago
2007
Springer
The intent of this paper is to propose an energy-efficient routing protocol with data transmission security for wireless sensor networks. We create an energy and distance aware sin...
184
click to vote
ODBIS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The algorithms dealing with the incorporation of new knowledge in an ontology (ontology evolution) often share a rather standard process of dealing with changes. This pro...
139
click to vote
CCGRID
2006
IEEE
16 years 17 days ago
2006
IEEE
Grid technology enables access and sharing of data and computational resources across administrative domains. Thus, it is important to provide a uniform access and management mech...
170
click to vote
DEXAW
2006
IEEE
16 years 16 days ago
2006
IEEE
A significant challenge for Peer-to-Peer (P2P) systems is maintaining the correctness and consistency of their global data structures and shared contents as peers independently a...