18769 search results - page 338 / 3754 » Requirements Models in Context |
178
click to vote
ML
2008
ACM
15 years 7 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
221
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
227
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...
208
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
187
click to vote
IPM
2002
15 years 7 months ago
2002
The emergence of general audience digital libraries (GADLs) defines a context that represents a hybrid of both ``traditional'' IR, using primarily bibliographic resource...