5433 search results - page 819 / 1087 » Tool Support for Traceability-Adaptation |
197
click to vote
CSFW
2006
IEEE
16 years 24 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
187
click to vote
DIAL
2006
IEEE
16 years 24 days ago
2006
IEEE
The availability of large, heterogeneous repositories of electronic documents is increasing rapidly, and the need for flexible, sophisticated document manipulation tools is growi...
171
click to vote
ESCIENCE
2006
IEEE
2006
IEEE
CIMA Based Remote Instrument and Data Access: An Extension into the Australian e-Science Environment
16 years 24 days ago
The Common Instrument Middleware Architecture (CIMA) is being used as a core component of a portal based remote instrument access system being developed as an Australian e-Science...
198
click to vote
EUROMICRO
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
175
Voted
ICALT
2006
IEEE
16 years 24 days ago
2006
IEEE
– Generating LOM for learning material is a complex and tedious task to be manually completed. Therefore, the current trend is to automate this process. However, there are severa...