7117 search results - page 303 / 1424 » IT Governance Frameworks as Methods |
170
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
155
click to vote
CVRMED
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Some medical interventions require knowing the correspondence between an MRI/CT image and the actual position of the patient. Examples are in neurosurgery or radiotherapy...
178
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Computational complexity is a major challenge in evolutionary algorithms due to their need for repeated fitness function evaluations. Here, we aim to reduce number of fitness f...
152
click to vote
LREC
2008
15 years 8 months ago
2008
The Dutch HLT agency for language and speech technology (known as TST-centrale) at the Institute for Dutch Lexicology is responsible for the maintenance, distribution and accessib...
163
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...