5433 search results - page 428 / 1087 » Tool Support for Traceability-Adaptation |
138
click to vote
COLING
1996
15 years 8 months ago
1996
Language engineering implenicnts functions of a language and inforillation via computers. '['he need for language engineering plattbrms has been generally recognized and...
173
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
184
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
190
click to vote
CRIWG
2009
15 years 8 months ago
2009
Nowadays it is possible to disseminate information to the all world in real time using current communication tools supported mostly by the Internet. The work of several organizatio...
154
click to vote
BIB
2007
15 years 7 months ago
2007
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...