3889 search results - page 495 / 778 » The Use of Program Dependence Graphs in Software Engineering |
148
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
Research in context-aware user interfaces aims to improve human-computer interaction by providing more effective, smarter and user-friendlier solutions for computer applications. ...
145
click to vote
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
We study the propositional satisfiability problem (SAT) on classes of CNF formulas (formulas in Conjunctive Normal Form) that obey certain structural restrictions in terms of thei...
266
click to vote
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
The dynamic nature of Service-Oriented Architectures challenges traditional systems management practices which tend to be static in nature. We propose a goal-oriented, agent-based...
169
Voted
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
133
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...