1005 search results - page 168 / 201 » Formal Software Development in MAYA |
107
click to vote
SEW
2003
IEEE
15 years 5 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
122
click to vote
UIST
1993
ACM
15 years 3 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
105
click to vote
DICS
2006
15 years 3 months ago
2006
We address failure location and restoration in both optical and wireless ad hoc networks. First, we show how Maximum Likelihood inference can improve failure location algorithms in...
102
click to vote
AC
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
WCRE
1997
IEEE
15 years 3 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...