Sciweavers

277 search results - page 37 / 56
» Automated mechanism design for a self-interested designer
Sort
View
SI3D
1995
ACM
13 years 11 months ago
Object Associations: A Simple and Practical Approach to Virtual 3D Manipulation
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...
Richard W. Bukowski, Carlo H. Séquin
APCCM
2010
13 years 9 months ago
A conceptually rich model of business process compliance
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
Guido Governatori, Antonino Rotolo
GRID
2006
Springer
13 years 8 months ago
Implementation of Fault-Tolerant GridRPC Applications
In this paper, a task parallel application is implemented with Ninf-G which is a GridRPC system, and experimented on, using the Grid testbed in Asia Pacific, for three months. The...
Yusuke Tanimura, Tsutomu Ikegami, Hidemoto Nakada,...
CADE
2008
Springer
14 years 8 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
CHI
1998
ACM
14 years 9 days ago
Information Archiving with Bookmarks: Personal Web Space Construction and Organization
Bookmarks are used as "personal Web information spaces" to help people remember and retrieve interesting Web pages. A study of personal Web information spaces surveyed 3...
David Abrams, Ronald Baecker, Mark H. Chignell