1419 search results - page 161 / 284 » Notes on Formalizing Context |
109
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
110
Voted
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
112
click to vote
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
103
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
110
click to vote
COLT
2004
Springer
15 years 6 months ago
2004
Springer
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...