77016 search results - page 704 / 15404 » Modelling |
194
click to vote
GI
2009
Springer
16 years 1 days ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
187
click to vote
ICANN
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Recent cognitive modeling studies suggest the effectiveness of metaheuristic optimization in describing human cognitive behaviors. Such models are built on the basis of p...
172
click to vote
OOIS
2001
Springer
15 years 12 months ago
2001
Springer
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
197
click to vote
UM
2001
Springer
15 years 12 months ago
2001
Springer
This paper explores how user modelling can work as an aid for human assistants in a user support system for web sites. Information about the user can facilitate for the assistant t...
182
click to vote
APSEC
2000
IEEE
15 years 12 months ago
2000
IEEE
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...