984 search results - page 106 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
138
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
140
click to vote
IEE
2008
15 years 3 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
150
click to vote
ADCS
2004
15 years 5 months ago
2004
Relevance profiling is a general process for withindocument retrieval. Given a query, a profile of retrieval status values is computed by sliding a fixed sized window across a doc...
113
Voted
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
This report outlines the experiences of the Microsoft Visual Studio Tools for Office product unit (hereafter referred to as “product unit”) as it applied agile principles and ...
121
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
A common problem with teleconferences is awkward turn-taking – particularly ‘collisions,’ whereby multiple parties inadvertently speak over each other due to communication d...