Sciweavers

1029 search results - page 120 / 206
» Requirements for Rich Internet Application Design Methodolog...
Sort
View
EVOW
2001
Springer
15 years 8 months ago
Interactions between Art and Mobile Robotic System Engineering
The field of mobile robotics offers a new medium for public entertainment and art. Mobile robots can move, react, and interact in the real world, generating behaviors that can be u...
Francesco Mondada, Skye Legon
SIGMOD
2001
ACM
135views Database» more  SIGMOD 2001»
16 years 4 months ago
The Network is the Database: Data Management for Highly Distributed Systems
This paper describes the methodology and implementation of a data management system for highly distributed systems, which was built to solve the scalability and reliability proble...
Julio C. Navas, Michael J. Wynblatt
126
Voted
WWW
2007
ACM
16 years 4 months ago
Consistency-preserving caching of dynamic database content
With the growing use of dynamic web content generated from relational databases, traditional caching solutions for throughput and latency improvements are ineffective. We describe...
Niraj Tolia, M. Satyanarayanan
TPHOL
1998
IEEE
15 years 8 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
OTM
2007
Springer
15 years 10 months ago
Invasive Patterns for Distributed Programs
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
Luis Daniel Benavides Navarro, Mario Südholt,...