10916 search results - page 269 / 2184 » On Constructive Connectives and Systems |
213
click to vote
TPDS
2008
15 years 6 months ago
2008
Abstract-- Broadcast-based Peer-to-Peer (P2P) networks, including flat (e.g., Gnutella) and two-layer super-peer implementations (e.g., Kazaa), are extremely popular nowadays due t...
177
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
174
click to vote
DEXA
1993
Springer
15 years 11 months ago
1993
Springer
We describe an integration of the hypermedia system HyperPATH with the object-oriented DBMS (OODBMS) O¡ . Providing persistence to a hypertext system was the first motivation of...
160
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
The distributed data storage on unreliable devices, connected by a short-range radio network is analyzed. Failing devices incur loss of data. To prevent the loss, the data is spli...
181
click to vote
ICPP
2005
IEEE
16 years 10 days ago
2005
IEEE
As dynamic web content and security capabilities are becoming popular in current web sites, the performance demand on application servers that host the sites is increasing, leadin...