659 search results - page 87 / 132 » Binding as sets of scopes |
128
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
106
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
88
Voted
DEXAW
2005
IEEE
15 years 6 months ago
2005
IEEE
Data mining (DM) is still a technology having great expectations to enable organizations to take more benefit of their huge databases. There exist some success stories where organ...
114
click to vote
DSD
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe a new e-learning environment and a runtime platform for educational tools on digital system testing and design for testability. This environment is being developed in ...
83
Voted
ICALT
2005
IEEE
15 years 6 months ago
2005
IEEE
The ability to provide assistance for a student at the appropriate level is invaluable in the learning process. Not only does it aid the student’s learning process but also prev...