Sciweavers

3908 search results - page 417 / 782
» A model for service-oriented communication systems
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
16 years 1 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
SASO
2008
IEEE
16 years 2 months ago
Social Networking for Pervasive Adaptation
As technology progresses, we are seeing increasing numbers of small devices that have the capability to store, process and forward information in our everyday physical environment...
Stuart M. Allen, Marco Conti, Jon Crowcroft, Robin...
PPOPP
2003
ACM
16 years 28 days ago
User-controllable coherence for high performance shared memory multiprocessors
In programming high performance applications, shared address-space platforms are preferable for fine-grained computation, while distributed address-space platforms are more suita...
Collin McCurdy, Charles N. Fischer
CCS
2008
ACM
15 years 9 months ago
Secure neighbor discovery in wireless networks: formal investigation of possibility
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
Marcin Poturalski, Panos Papadimitratos, Jean-Pier...
DSRT
2005
IEEE
16 years 1 months ago
Collaborative Visualization: A Review and Taxonomy
We present a brief review of 42 collaborative visualization systems, grouped into four application areas: collaborative problem-solving environments, virtual reality environments,...
Ian J. Grimstead, David W. Walker, Nick J. Avis