1057 search results - page 116 / 212 » Testing from Formal Specifications, a Generic Approach |
116
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
138
Voted
DIAGRAMS
2004
Springer
15 years 6 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
180
Voted
CSAC
2006
15 years 4 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
109
Voted
IJCAI
1989
15 years 4 months ago
1989
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
112
Voted
ECR
2010
15 years 4 days ago
2010
Mobile commerce applications adhering to anytime and anywhere paradigm, required to be flexible. They should be able to adapt their interface, services and content towards a certai...