924 search results - page 117 / 185 » An expressive aspect language for system applications with A... |
AOSD
2009
ACM
14 years 28 days ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
ATAL
1995
Springer
14 years 15 days ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
FORTE
2008
13 years 10 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
We introduce scalability for computer games as the next frontier for techniques from data management. A very important aspect of computer games is the artificial intelligence (AI)...