31387 search results - page 424 / 6278 » Abstracts |
150
click to vote
JVM
2001
15 years 9 months ago
2001
d Abstract] Fuyuhiko Maruyama Tokyo Institute of Technology Tokyo, Japan Satoshi Matsuoka
177
click to vote
OMER
2001
15 years 9 months ago
2001
of abstract from OMER Workshop Proceedings, Peter Hofmann and Andy Sch
182
click to vote
FLAIRS
2000
15 years 9 months ago
2000
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
201
click to vote
PTS
1998
15 years 9 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...