1107 search results - page 176 / 222 » Variability Management on Behavioral Models |
148
click to vote
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
125
click to vote
ENTCS
2000
15 years 2 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
164
click to vote
HOPL
2007
15 years 6 months ago
2007
AppleScript is a scripting language and environment for the Mac OS. Originally conceived in 1989, AppleScript allows end-users to automate complex tasks and customize Mac OS appli...
118
click to vote
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
The use of machine learning tools is gaining popularity in neuroimaging, as it provides a sensitive assessment of the information conveyed by brain images. In particular, finding ...
134
click to vote
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
Vehicular ad-hoc networks with inter-vehicular communications are a prospective technology which contributes to safer and more efficient roads and offers information and entertain...