23 search results - page 2 / 5 » Transaction Scripts: Making Implicit Scenarios Explicit |
ICSM
2003
IEEE
14 years 2 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
14 years 3 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 10 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
14 years 3 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
14 years 1 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...