Sciweavers

3619 search results - page 278 / 724
» Humor modeling in the interface
Sort
View
ESOP
2006
Springer
15 years 10 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
CSCW
2008
ACM
15 years 8 months ago
The microstructures of social tagging: a rational model
This article presents a rational model developed under the distributed cognition framework that explains how social tags influence knowledge acquisition and adaptation in explorat...
Wai-Tat Fu
CCE
2008
15 years 6 months ago
Object-oriented modelling of virtual-labs for education in chemical process control
Easy Java Simulations (Ejs) and Sysquake are two software tools specifically intended for implementation of virtual-labs. They allow easy definition of the virtuallab view (i.e., ...
Carla Martin-Villalba, Alfonso Urquia, Sebasti&aac...
POPL
2009
ACM
16 years 7 months ago
Relaxed memory models: an operational approach
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
Gérard Boudol, Gustavo Petri
ICWS
2009
IEEE
16 years 3 months ago
A Conceptual Modeling Approach to Business Service Mashup Development
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...