2875 search results - page 346 / 575 » Model checking agentspeak |
128
click to vote
NJC
2006
15 years 3 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
141
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
114
Voted
CGI
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents an efficient method of mesh simplification for geometric 3D models. The transmission of 3D models on the Internet is an important task. The data size of a 3D m...
148
Voted
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
131
Voted
SELMAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...