4340 search results - page 208 / 868 » Formal Methods and Cryptography |
160
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
109
click to vote
AIPS
1998
15 years 6 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
139
click to vote
PRL
2006
15 years 4 months ago
2006
This paper presents a general method for incorporating prior knowledge into kernel methods such as Support Vector Machines. It applies when the prior knowledge can be formalized b...
152
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
161
click to vote
EUPROJECTS
2005
Springer
15 years 10 months ago
2005
Springer
Participatory methods can, in principle, be applied for a variety of purposes to gain insight into the context of use of an artefact or the way in which tasks are performed by end ...