726 search results - page 143 / 146 » Reasoning about Feature Models in Higher-Order Logic |
104
click to vote
BMCBI
2004
14 years 9 months ago
2004
Background: Conserved protein sequence motifs are short stretches of amino acid sequence patterns that potentially encode the function of proteins. Several sequence pattern search...
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
101
click to vote
MOBIHOC
2008
ACM
15 years 9 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
162
click to vote
GIS
2005
ACM
15 years 10 months ago
2005
ACM
The management of moving objects has been intensively studied in the recent years. A wide and increasing range of database applications has to deal with spatial objects whose posi...
157
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...