1454 search results - page 83 / 291 » Stateful traits and their formalization |
116
click to vote
ASM
2010
ASM
15 years 4 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
PE
2002
Springer
15 years 8 days ago
2002
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
81
Voted
KI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
84
Voted
IEEEIAS
2008
IEEE
15 years 7 months ago
2008
IEEE
The recent and massive deployment of Voice over IP infrastructures had raised the importance of the VoIP security and more precisely of the underlying signalisation protocol SIP. ...
100
click to vote
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...