570 search results - page 62 / 114 » concurrency 2006 |
201
click to vote
ICNS
2006
IEEE
15 years 12 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
165
click to vote
ETRICS
2006
15 years 9 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
159
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
151
click to vote
P2P
2006
IEEE
15 years 12 months ago
2006
IEEE
Peer-to-peer systems (p2p) are highly dynamic in nature. They may consist of millions of peers joining only for a limited period of time, resulting in hundreds of join and leave e...
141
click to vote
ADBIS
2006
Springer
15 years 12 months ago
2006
Springer
In existing systems, user transactions get blocked during materialized view creation and non-trivial database schema transformations. Blocking user transactions is not an option in...