14298 search results - page 2700 / 2860 » Dynamic Languages and Applications |
173
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...
211
click to vote
ISCOPE
1999
Springer
15 years 10 months ago
1999
Springer
The concept of design patterns has recently emerged as a new paradigm in the context of object-oriented design methodology. Similar ideas are being explored in other areas of compu...
213
click to vote
CAV
1998
Springer
15 years 9 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
144
click to vote
SIGOPSE
1998
ACM
15 years 9 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
167
Voted
SAFECOMP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...