Sciweavers

3046 search results - page 437 / 610
» Anonymous communications in the Internet
Sort
View
IANDC
2008
128views more  IANDC 2008»
15 years 6 months ago
Rule-based static analysis of network protocol implementations
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
Octavian Udrea, Cristian Lumezanu, Jeffrey S. Fost...
COMCOM
2006
154views more  COMCOM 2006»
15 years 6 months ago
Wireless sensor networks for personal health monitoring: Issues and an implementation
Recent technological advances in sensors, low-power integrated circuits, and wireless communications have enabled the design of lowcost, miniature, lightweight, and intelligent ph...
Aleksandar Milenkovic, Chris Otto, Emil Jovanov
IJSWIS
2008
126views more  IJSWIS 2008»
15 years 6 months ago
Bringing Semantic Services to Real-World Objects
The last few years have seen the emergence of two parallel trends: the first of such trends is set by technologies such as Near Field Communication, 2D Bar codes and RFID that supp...
Massimo Paolucci, Gregor Broll, John Hamard, Enric...
CL
2007
Springer
15 years 6 months ago
A bulk-synchronous parallel process algebra
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
Armelle Merlin, Gaétan Hains
JNCA
2006
92views more  JNCA 2006»
15 years 6 months ago
Cards-to-presentation on the web: generating multimedia contents featuring agent animations
With the goal of supporting the knowledge circulation and creation process in a society, we have studied story-based communication in a network community. On the basis of this res...
Yukiko I. Nakano, Toshihiro Murayama, Masashi Okam...