2282 search results - page 184 / 457 » Active property checking |
156
click to vote
RP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
110
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...
121
Voted
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
135
click to vote
APSEC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
142
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...