10916 search results - page 68 / 2184 » On Constructive Connectives and Systems |
POS
1998
Springer
15 years 2 months ago
1998
Springer
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
ICMCS
1994
IEEE
15 years 2 months ago
1994
IEEE
Abstract. Withthe inceptionof technology in communication networks suchasATM, it will be possible to run multimedia applications on future integrated networks. Synchronizationof th...
ECLIPSE
2007
ACM
15 years 1 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
IADIS
2003
14 years 11 months ago
2003
The Portuguese construction industry is, in an attempt to keep up with market demands, striving to maintain its competitiveness. The communication practices and policies throughou...
DAC
2009
ACM
15 years 4 months ago
2009
ACM
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...