5203 search results - page 162 / 1041 » An approach to workflow modeling and analysis |
215
click to vote
JCSS
2011
15 years 1 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
170
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Analyses of fMRI brain data are often based on statistical tests applied to each voxel or use summary statistics within a region of interest (such as mean or peak activation). Thes...
133
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
In functional Magnetic Resonance Imaging group studies, uncertainties on the individual BOLD responses are not taken into account by standard detection procedures, which may limit...
151
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
173
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...