1497 search results - page 128 / 300 » Extended static checking |
102
Voted
IFM
2009
Springer
15 years 8 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
112
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
117
click to vote
NPIV
1998
ACM
15 years 6 months ago
1998
ACM
Placing numerous data objects and their corresponding labels in limited screen space is a challenging problem in information visualization systems. Extending map-oriented techniqu...
120
click to vote
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper extends the idea of classification schemes for static surface curvature into the temporal domain. We seek to identify regions in sequences of depth data that exhibit va...
119
click to vote
CSCWD
2008
Springer
15 years 4 months ago
2008
Springer
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...