4340 search results - page 312 / 868 » Formal Methods and Cryptography |
177
click to vote
FMCO
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
178
click to vote
ACSC
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
176
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
201
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
180
click to vote
IFM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...