1080 search results - page 170 / 216 » Modeling Constraint Programs with Software Technology Standa... |
128
click to vote
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
138
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
166
click to vote
PATMOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
115
click to vote
ICWE
2005
Springer
15 years 8 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
104
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...