6239 search results - page 107 / 1248 » From Zinc to Design Model |
154
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
129
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
188
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes the implementation and evaluation of a framework for modeling emotions in complex, decision-making agents. Sponsored by U.S. Army Research Institute (ARI), th...
178
click to vote
WADT
1999
Springer
15 years 10 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
139
click to vote
WETICE
2005
IEEE
15 years 12 months ago
2005
IEEE
This article presents methodological issues on evaluation related to the design process of the tool being evaluated. We emphasize the different variables which are important to ta...