3993 search results - page 665 / 799 » Matchmaking for Structured Objects |
125
click to vote
IDMS
2000
Springer
15 years 6 months ago
2000
Springer
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
122
click to vote
TPHOL
2000
IEEE
15 years 6 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
129
click to vote
UML
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
122
click to vote
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
155
Voted
RTA
1995
Springer
15 years 6 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...