2694 search results - page 338 / 539 » A Description Logic of Change |
168
click to vote
PADL
2007
Springer
16 years 19 days ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
160
click to vote
FSKD
2005
Springer
16 years 1 days ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
189
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
161
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
130
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...