3828 search results - page 370 / 766 » Proof-Based System Engineering Using a Virtual System Model |
199
click to vote
ER
2009
Springer
15 years 4 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
261
click to vote
BICA
2010
15 years 1 months ago
2010
In this position paper we argue that BICA must simultaneously be compatible with the explanation of human cognition and support the human design of artificial cognitive systems. Mo...
164
click to vote
SELMAS
2004
Springer
16 years 2 days ago
2004
Springer
The development of Multi-Agent Systems (MASs) involves special concerns, such as interaction, adaptation, autonomy, among others. Many of these concerns are overlapping, crosscut e...
151
click to vote
DSS
2006
15 years 6 months ago
2006
The increasing proliferation of online shopping and purchasing has naturally led to a growth in the popularity of comparisonshopping search engines, popularly known as "shopb...
143
click to vote
KER
2008
15 years 6 months ago
2008
We study the case of integrating situational reasoning into a mobile service recommendation system. Since mobile Internet services are rapidly proliferating, finding and using appr...