Sciweavers

2513 search results - page 160 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
CSCW
1990
ACM
15 years 2 months ago
Strudel - An Extensible Electronic Conversation Toolkit
This paperdescribesthe conceptual model of Strudel, a toolkit of generic components for conversation and action management. To empower work groups to more effectively conduct thei...
Allan Shepherd, Niels Mayer, Allan Kuchinsky
83
Voted
COMPCON
1995
IEEE
15 years 1 months ago
NetBill: An Internet Commerce System Optimized for Network Delivered Services
Netbill is a business model, set of protocols, and software implementation for commerce in information goods and other network delivered services. It has very low transaction cost...
Marvin A. Sirbu, J. D. Tygar
77
Voted
EMSOFT
2008
Springer
14 years 12 months ago
Quantitative testing
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
Henrik C. Bohnenkamp, Mariëlle Stoelinga
107
Voted
IASTEDSE
2004
14 years 11 months ago
Mapping UML statecharts to java code
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
Iftikhar Azim Niaz, Jiro Tanaka
42
Voted
COLING
2008
14 years 11 months ago
Semantic Visualization and Meaning Computation
We present here VISUSYN, a prototype we developed in order to study meaning construction. This software implements the model of dynamic construction of meaning proposed by Victorr...
Fabienne Venant