|
СТ |
An Abductive Approach for Analysing Event-Based Requirements Specifications |
2002 |
Russo A., Miller R., Nuseibeh B., Kramar J. |
|
|
|
Lecture Notes in Computer Science |
27.08.2002 |
|
СТ |
Exception Handling in Agent-Oriented Systems |
2001 |
Tripathi A., Miller R. |
|
|
|
Lecture Notes in Computer Science |
11.05.2001 |
|
СТ |
Mining for Empty Rectangles in Large Data Sets |
2000 |
Edmonds J., Gryz J., Liang D., Miller R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.2001 |
|
СТ |
Issues with Exception Handling in Object-Oriented Systems |
1997 |
Miller R., Tripathi A. |
|
|
|
Lecture Notes in Computer Science |
09.07.1997 |
|
СТ |
Situation Calculus Specifications for Event Calculus Logic Programs |
1995 |
Miller R. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
