156 search results - page 8 / 32 » The Expressivity of Quantifying over Regions |
121
click to vote
AOSD
2005
ACM
15 years 3 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
LPAR
2007
Springer
15 years 4 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an efficient, fully automated algorithm to assemble ESTs into full-length cDNA sequences that represent the complete coding regions of a gene. Our EST clustering algori...
94
Voted
JSAC
2010
14 years 8 months ago
2010
—To reserve or not for bursty video traffic over wireless access networks has been a long-debated issue. For uplink transmissions in infrastructure-based wireless networks and p...
ACL
1997
14 years 11 months ago
1997
We propose a unified framework in which to treat semantic underspecification and parallelism phenomena in discourse. The framework employs a constraint language that can express e...