3909 search results - page 272 / 782 » Extreme Model Checking |
126
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
131
click to vote
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
145
click to vote
ASPDAC
2009
ACM
15 years 8 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
122
Voted
WSC
2004
15 years 4 months ago
2004
The human behavior modeling community has traditionally been divided into those addressing individual behavior models, and those addressing organizational and team models. And yet...
119
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...