858 search results - page 48 / 172 » Formal Verification of Digital Systems |
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
106
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
112
click to vote
AAMAS
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
240
click to vote
AMCS
2011
14 years 9 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
129
click to vote
ENTCS
2008
15 years 2 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...