9626 search results - page 1547 / 1926 » Invariant Based Programming |
176
click to vote
SIGECOM
2005
ACM
16 years 10 days ago
2005
ACM
We study various computational aspects of solving games using dominance and iterated dominance. We first study both strict and weak dominance (not iterated), and show that checki...
166
click to vote
SIGITE
2005
ACM
16 years 10 days ago
2005
ACM
Many undergraduate IT programs recognize that their graduates will find jobs as software developers. As such, software development (analysis and design) courses are often a core r...
311
click to vote
AADEBUG
2005
Springer
16 years 10 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
206
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
166
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...