8933 search results - page 185 / 1787 » Usability over time |
205
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
145
click to vote
JAMDS
2002
15 years 6 months ago
2002
Under traditional cointegration tests, some eligible I(1) time series systems Xt, that are not cointegrated over a given time period, say (0, T1], sometimes test as cointegrated ov...
272
click to vote
VLDB
2004
ACM
16 years 6 months ago
2004
ACM
: This paper presents the "situation manager", a tool that includes both a language and an efficient run-time execution mechanism, aimed at reducing the complexity of act...
167
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
Although many augmented tabletop systems have shown the potential and usability of finger-based interactions and paper-based interfaces, they have mainly dealt with each of them ...
148
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...