4341 search results - page 538 / 869 » Quantitative Model checking |
147
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Focal cortical dysplasia (FCD), a malformation of cortical development, is an important cause of intractable epilepsy. On Magnetic Resonance Images (MRI), FCD lesions are difficul...
185
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
This paper presents a hybrid compaction scheme for test responses containing unknown values, which consists of a space compactor and an unknown-blocking Multiple Input Signature R...
165
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
181
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
190
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...