1622 search results - page 81 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
149
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
142
Voted
CISIS
2008
IEEE
15 years 9 months ago
2008
IEEE
Liver segmentation from scans of the abdominal area is an important step in several diagnostic processes. CT scans of the abdominal area contain several organs in close proximity ...
105
Voted
BIOINFORMATICS
2006
15 years 2 months ago
2006
Simulation and modeling is becoming one of the standard approaches to understand complex biochemical processes. Therefore, there is a big need for software tools that allow access...
102
click to vote
HCI
2007
15 years 4 months ago
2007
The collection and sharing of results from usability laboratories around the world has not yet made good use of emerging models of Internetbased knowledge sharing technologies. Thi...
95
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...