Sciweavers

2907 search results - page 359 / 582
» Presentations of Structures in Admissible Sets
Sort
View
AGENTS
2001
Springer
15 years 11 months ago
Automated negotiation from declarative contract descriptions
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
Daniel M. Reeves, Michael P. Wellman, Benjamin N. ...
UML
2001
Springer
15 years 11 months ago
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
Gerson Sunyé, Damien Pollet, Yves Le Traon,...
CHI
2010
ACM
15 years 11 months ago
Mobile questionnaires for user experience evaluation
As user experience studies move from laboratories to mobile context, we need tools for collecting data in natural settings. Based on the results from a pilot study, we present ear...
Heli Väätäjä, Virpi Roto
GMP
2010
IEEE
214views Solid Modeling» more  GMP 2010»
15 years 11 months ago
Efficient Computation of 3D Clipped Voronoi Diagram
The Voronoi diagram is a fundamental geometry structure widely used in various fields, especially in computer graphics and geometry computing. For a set of points in a compact 3D d...
Dong-Ming Yan, Wenping Wang, Bruno Lévy, Ya...
ECOOP
1999
Springer
15 years 11 months ago
Inlining of Virtual Methods
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
David Detlefs, Ole Agesen