3733 search results - page 193 / 747 » Logics of communication and change |
103
click to vote
FSKD
2005
Springer
15 years 7 months 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...
124
click to vote
DALT
2004
Springer
15 years 6 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...
105
click to vote
ESORICS
2004
Springer
15 years 6 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 ...
GPCE
2004
Springer
15 years 6 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...
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
The alternative wire technique attempts to replace a target wire by another wire without changing the logic functionality. In this paper, we propose two new transformations of rep...