5433 search results - page 616 / 1087 » Tool Support for Traceability-Adaptation |
180
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
139
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
192
click to vote
ANSS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Real-time network simulation refers to simulating computer networks in real time so that the virtual network can interact with real implementations of network protocols, network...
184
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Transforming a text-based clinical guideline in a computer-interpretable form is a time-consuming and demanding task due to the various users involved, who have different technica...
181
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Mapping concepts from medical terminologies, such as the UMLS, to medical documents is a prerequisite for many tasks of (automatically) processing documents. Due to the nature of ...