2748 search results - page 365 / 550 » Generating Object-Z Specifications from Use Cases |
154
click to vote
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
We measure the WT10g test collection, used in the TREC-9 and TREC 2001 Web Tracks, and the .GOV test collection used in the TREC 2002 Web and Interactive Tracks, with common measu...
147
click to vote
JUCS
2010
15 years 2 months ago
2010
: The use of contextual information in mobile devices is receiving increasing attention in mobile and ubiquitous computing research. An important requirement for mobile development...
147
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
The console logs generated by an application contain messages that the application developers believed would be useful in debugging or monitoring the application. Despite the ubiq...
132
click to vote
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
129
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Due to their role of receptors or transporters, membrane proteins play a key role in many important biological functions. In our work we used Grammatical Inference (GI...