1700 search results - page 94 / 340 » Specifying and implementing refactorings |
119
click to vote
AUIC
2003
IEEE
15 years 9 months ago
2003
IEEE
There is a growing demand for the development of multi-device, adaptive user interfaces – interfaces that will run on and adapt to the characteristics of multiple display device...
153
click to vote
EMO
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces an interface specification (PISA) that allows to separate the problem-specific part of an optimizer from the problem-independent part. We propose a view of ...
118
click to vote
IICS
2003
Springer
15 years 9 months ago
2003
Springer
Geocast mechanisms allow a sender to transmit network packets to receivers residing at a certain geographical region. Geocast forms the basis for a number of location-based service...
124
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
130
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...