Sciweavers

2446 search results - page 196 / 490
» Principles of dataspace systems
Sort
View
ATAL
2006
Springer
15 years 7 months ago
Agent dependability as an architectural issue
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
Peter C. Lockemann, Jens Nimis
CSEE
2006
Springer
15 years 7 months ago
SimVBSE: Developing a Game for Value-Based Software Engineering
The development of games in aid of improving and enriching a student's learning experience is again on the rise. The beer game [6] in the field of system dynamics was develop...
Apurva Jain, Barry W. Boehm
FASE
2000
Springer
15 years 7 months ago
More About TAS and IsaWin - Tools for Formal Program Development
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
Christoph Lüth, Burkhart Wolff
OOGRAPHICS
1995
15 years 7 months ago
Object-Oriented Design for Image Synthesis
The structure of the image synthesis process naturally leads to the use of object-oriented software design and many existing rendering systems are based on some kind of object-orie...
Philipp Slusallek, Hans-Peter Seidel
86
Voted
AVI
2008
15 years 6 months ago
Exploring the feasibility of video mail for illiterate users
We present work that explores whether the asynchronous peer-topeer communication capabilities of email can be made accessible to illiterate populations in the developing world. Bu...
Archana Prasad, Indrani Medhi, Kentaro Toyama, Rav...