3885 search results - page 345 / 777 » Clarifying Goal Models |
178
click to vote
APSEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper describes a controlled experiment of student programmers performing maintenance tasks on a C++ program. The goal of the study is to assess the maintenance size, effo...
166
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
161
Voted
BPM
2009
Springer
16 years 1 months ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
140
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Embodied agents can be a powerful interface for natural human-computer interaction. While graphical realism is steadily increasing, the complexity of believable behavior is still h...
148
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...