6201 search results - page 864 / 1241 » Implementation of Axiomatic Language |
185
Voted
SOCO
2009
Springer
16 years 6 days ago
2009
Springer
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting the behavior of objects to be ...
191
Voted
ADBIS
2001
Springer
16 years 5 days ago
2001
Springer
In this paper we address an issue common in the frame of WWW, namely information entities that present di erent facets under di erent contexts (or worlds). Handling such multifacet...
176
Voted
IVA
2001
Springer
16 years 3 days ago
2001
Springer
We describe the architecture of an interactive, “believable” agent with personality, called user agent, which can act on behalf of a user in various multi-user game contexts, w...
214
click to vote
LCTRTS
2001
Springer
16 years 3 days ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
253
click to vote
MMB
2001
Springer
16 years 3 days ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...