Sciweavers

3341 search results - page 183 / 669
» A Communication Virtual Machine
Sort
View
132
Voted
CSSE
2008
IEEE
15 years 10 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
85
Voted
IPPS
1998
IEEE
15 years 8 months ago
Optimal Communication Performance on Fast Ethernet with GAMMA
Abstract. The current prototype of the Genoa Active Message MAchine GAMMA is a low-overhead, Active Messages-based inter-process communication layer implemented mainly at kernel le...
Giuseppe Ciaccio
145
Voted
VL
1996
IEEE
120views Visual Languages» more  VL 1996»
15 years 8 months ago
Visual Language Features Supporting Human-Human and Human-Computer Communication
Fundamental to the design of visual languages are the goals of facilitating communication between people and computers, and between people and other people. The Object Block Progr...
Jason E. Robbins, David J. Morley, David F. Redmil...
IJFCS
2007
100views more  IJFCS 2007»
15 years 3 months ago
On the Power of Deterministic and Sequential Communicating P Systems
We characterize the computational power of several restricted variants of communicating P systems. We show that 2-deterministic communicating P systems with 2 membranes, working in...
Ludek Cienciala, Lucie Ciencialová, Pierlui...
145
Voted
ICCCN
1998
IEEE
15 years 8 months ago
A Two-Phase Inter-Switch Handoff Scheme for Wireless ATM Networks
Supporting mobility in Wireless ATM networks poses a number of technical issues. An important issue is the ability to reroute ongoing virtual connections during handoff as mobile ...
Khaled Salah, Elias Drakopoulos