3765 search results - page 464 / 753 » Formal Methods for Systems Engineering Behavior Models |
175
click to vote
TREC
2007
15 years 7 months ago
2007
This paper describes several approaches which we used for the expert search task of the TREC 2007 Enterprise track. We studied several methods of relevance propagation from docume...
205
click to vote
EHCI
1998
15 years 8 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
146
click to vote
EWC
2000
15 years 6 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
149
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
155
click to vote
SAS
2007
Springer
16 years 24 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...