612 search results - page 49 / 123 » Division for Foundation of Software |
138
click to vote
ETS
2000
IEEE
15 years 3 months ago
2000
IEEE
The paper provides an insight into the changing nature of the learning process through the adoption of interactive new media solutions into a traditional University Campus. The us...
133
click to vote
JSC
2010
15 years 2 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
136
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
128
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
135
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse ...