299 search results - page 34 / 60 » Model Eco-Systems: Preliminary Work |
GI
2001
Springer
15 years 6 months ago
2001
Springer
To accommodate applications with highly variable degrees and categories of Quality of Service (QoS) requirements, a major effort has been invested to overcome the traditional best-...
123
click to vote
IJSEKE
2000
15 years 1 months ago
2000
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
116
click to vote
IJAOSE
2010
15 years 12 days ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
124
click to vote
ENTCS
2007
15 years 1 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The current state of the art in agent technology sees that several implementations of agent frameworks exist. However, there is little agreement on the terms and concepts used to ...