Sciweavers

5085 search results - page 454 / 1017
» Multidimensional Design by Examples
Sort
View
CN
2004
102views more  CN 2004»
15 years 7 months ago
Comparing economic incentives in peer-to-peer networks
Users who join a peer-to-peer network have, in general, suboptimal incentives to contribute to the network, because of the externalities that exist between them. The result is an ...
Panayotis Antoniadis, Costas Courcoubetis, Robin M...
CORR
2004
Springer
113views Education» more  CORR 2004»
15 years 7 months ago
Pattern Reification as the Basis for Description-Driven Systems
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...
Florida Estrella, Zsolt Kovacs, Jean-Marie Le Goff...
ETS
2002
IEEE
166views Hardware» more  ETS 2002»
15 years 7 months ago
Distributed and Online Distance Lecturing Environment (The Virtual Blackboard Project)
Computers and networks are increasingly able to support distributed collaborative multimedia applications. In fact, the growing interest in distance learning reflects the awarenes...
Yiannis N. Sagias
HF
2002
95views more  HF 2002»
15 years 7 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
LISP
2002
107views more  LISP 2002»
15 years 7 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi