2493 search results - page 427 / 499 » Tool Support for Design by Contract |
ACMSE
2009
ACM
15 years 4 months ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...
ACSC
2008
IEEE
15 years 4 months ago
2008
IEEE
Users’ past search behaviour provides a rich context that an information retrieval system can use to tailor its search results to suit an individual’s or a community’s infor...
108
click to vote
ISSRE
2008
IEEE
15 years 4 months ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In the field of lipid research, the measurement of adipocyte size is an important but difficult problem. We describe an imaging-based solution that combines precise investigator...