2186 search results - page 186 / 438 » Model Transformation Technologies in the Context of Modellin... |
CASES
2010
ACM
13 years 6 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
WSC
2000
13 years 10 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
AISS
2010
13 years 6 months ago
2010
The concept of Service Oriented Architecture (SOA) has had a significant impact not only on software engineering but on the analysis of an organization's business layer as we...
WECWIS
2007
IEEE
14 years 3 months ago
2007
IEEE
Reputation systems facilitate cooperation in open environments. Centrality-based reputation systems use centrality measures to rank individuals, i.e., compute their reputation bas...