3729 search results - page 169 / 746 » On Formal Modeling of Agent Computations |
166
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes how cognitive modeling can be exploited in the design of software agents that support naval training sessions. The architecture, specifications, and embedding...
215
click to vote
FORTE
1994
15 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
184
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
153
click to vote
HICSS
2008
IEEE
16 years 27 days ago
2008
IEEE
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
194
click to vote
NOSSDAV
2005
Springer
15 years 12 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...