3729 search results - page 155 / 746 » On Formal Modeling of Agent Computations |
180
click to vote
CW
2005
IEEE
16 years 1 days ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
164
click to vote
EJC
2008
15 years 7 months ago
2008
This paper presents a novel model of co-reference knowledge, which is based on the distinction of (i) a model of a common reality, (ii) a model of an agent's opinion about rea...
166
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
MCT is a widely used heuristic for scheduling tasks onto grid platforms. However, when dealing with many tasks, MCT tends to dramatically delay already mapped task completion time...
174
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— In a real-world, labor market consist of employer and employee, and these individuals form relationship through mutual interactions. This paper mainly focuses on development of...
151
click to vote
CSEE
2000
Springer
15 years 10 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...