6201 search results - page 1043 / 1241 » Implementation of Axiomatic Language |
145
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
139
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Distributed Internet-based attacks on computer systems are becoming more prevalent. These attacks usually employ some form of automation and involve the compromise of many systems...
168
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by p...
179
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Fredo is a generic domain-independent broker that creates valueadded information taking into account the preferences specified by its clients. Fredo uses ontology service...
158
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...