3765 search results - page 737 / 753 » Formal Methods for Systems Engineering Behavior Models |
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
A growing trend in commercial search engines is the display of specialized content such as news, products, etc. interleaved with web search results. Ideally, this content should b...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
ITEE
2007
13 years 10 months ago
2007
1 A knowledge acquisition process that has been implemented by a virtual team for the development of a knowledge based early warning system in Material Recovery Facilities (MRFs) o...
TREC
2007
13 years 9 months ago
2007
For the legal track we used the Wumpus search engine and investigated several methods that have proven successful in other domains, including cover density ranking and Okapi BM25 ...
TOPLAS
2010
13 years 7 months ago
2010
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...