Sciweavers

1597 search results - page 161 / 320
» Context Capture in Software Development
Sort
View
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
14 years 1 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...
WEBNET
2001
13 years 11 months ago
Designing a Collaboration Environment for Teleworkers
: Teleworking enables a more flexible scheduling of working time and places of work on the way to the modern information society. The rapid development of cooperative application s...
Iris Braun, Ulf Zschuckelt
WOA
2001
13 years 11 months ago
A Knowledge Modeling Tool for Rule-Based Agents
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
Marco Repetto, Christian Vecchiola, Antonio Boccal...
CSSE
2006
IEEE
13 years 9 months ago
Agile PASSI: An agile process for designing agents
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...
Antonio Chella, Massimo Cossentino, Luca Sabatucci...
POPL
2006
ACM
14 years 10 months ago
A fixpoint calculus for local and global program flows
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan