3522 search results - page 162 / 705 » Modeling and Aspect Weaving |
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
UIALL
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we discuss the adaptive User Model component of the AthosMail system, and describe especially the Cooperativity Model which produces recommendations for the appropria...
ENC
2003
IEEE
14 years 4 months ago
2003
IEEE
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
FDL
2006
IEEE
14 years 2 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
DSVIS
1995
Springer
14 years 2 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...