852 search results - page 117 / 171 » A Mechanism for Sequential Consistency in a Distributed Obje... |
MIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
SIGPLAN
2002
13 years 8 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
CONCUR
1998
Springer
14 years 1 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...
CLUSTER
2005
IEEE
14 years 2 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...