63 search results - page 7 / 13 » The Reflexive System Inference Engine: A Tool to Use Metakno... |
107
click to vote
IUI
2003
ACM
15 years 4 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
103
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Studying the release-time activities of a software project — that is, activities that occur around the time of a major or minor release — can provide insights into both the de...
SOSP
2003
ACM
15 years 8 months ago
2003
ACM
Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor perfor...
UIST
2005
ACM
15 years 5 months ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...