4099 search results - page 275 / 820 » A Framework for Interactive Proof |
204
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
195
click to vote
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
190
click to vote
DIMEA
2007
15 years 10 months ago
2007
A common teaching and learning methodology involves one that delivers knowledge to learners within a classroom environment. With the enhancement of information technology, Web-bas...
168
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...
201
click to vote
CIKM
2000
Springer
15 years 10 months ago
2000
Springer
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...