1760 search results - page 243 / 352 » The Focus of Requirements Engineering in Workflow Applicatio... |
SIGSOFT
1996
ACM
15 years 2 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
SIGCSE
2010
ACM
14 years 10 months ago
2010
ACM
Applying information and communication technologies to development (ICTD) is emerging as an interesting and motivating research area in computer science and engineering. It spans ...
CCECE
2006
IEEE
15 years 4 months ago
2006
IEEE
Impenetrable doors are often quite common in virtual worlds. This is especially apparent in video games boasting large urban environments. Although there are often enterable build...
MATES
2005
Springer
15 years 3 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
106
click to vote
CODES
2004
IEEE
15 years 1 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...