23 search results - page 2 / 5 » Transaction Scripts: Making Implicit Scenarios Explicit |
ICSM
2003
IEEE
13 years 10 months ago
2003
IEEE
The conceptual structure of existing software systems is often implicit or non-existing in the source code. We prolightweight abstraction of intentional source-code views as a mea...
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
Current trust models enable decision support at an implicit level by means of thresholds or constraint satisfiability. Decision support is mostly included only for a single binary...
ECIS
2004
13 years 6 months ago
2004
Most e-commerce applications require the collection and storing of information about customers. As a consequence, the performed transactions involve legal issues. For two years, t...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
— In this paper, we propose a new concept — the “Reciprocal Velocity Obstacle”— for real-time multi-agent navigation. We consider the case in which each agent navigates i...
HOTOS
2007
IEEE
13 years 8 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...