1397 search results - page 143 / 280 » On the Need for Practical Formal Methods |
144
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
168
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Wireless mesh networks have been widely deployed to provide broadband network access, and their performance can be significantly improved by using a new technology called netwo...
117
click to vote
TLT
2010
14 years 11 months ago
2010
Evidence from a range of studies indicates the potential that mobile technologies have to support important aspects of learning. However, it is clear from a number of study finding...
140
click to vote
WABI
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel dynamic programming framework that allows one to compute tight upper bounds for the p-values of gapped local alignments in pseudo–polynomial time. Our algorith...
142
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...