886 search results - page 89 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
155
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
128
click to vote
VAMOS
2007
Springer
15 years 11 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
136
click to vote
JCPHY
2011
14 years 8 months ago
2011
We present a Riemann solver derived by a relaxation technique for classical single-phase shallow flow equations and for a two-phase shallow flow model describing a mixture of so...
139
click to vote
MUM
2005
ACM
15 years 10 months ago
2005
ACM
We present PhoneGuide – an enhanced museum guidance approach that uses camera-equipped mobile phones and on-device object recognition. Our main technical achievement is a simple...
137
click to vote
EWSN
2007
Springer
16 years 4 months ago
2007
Springer
Methods for node localisation in sensor networks usually rely upon the measurement of received strength, time-of-arrival, and/or angle-of-arrival of an incoming signal. In this pap...