2493 search results - page 139 / 499 » Tool Support for Design by Contract |
BMCBI
2008
14 years 10 months ago
2008
Background: The conservation of gene order among prokaryotic genomes can provide valuable insight into gene function, protein interactions, or events by which genomes have evolved...
UIST
1997
ACM
15 years 2 months ago
1997
ACM
We motivate the use of desktop assistants in the context of web surfing and show how such a tool may be used to support activities in both cooperative and personal surfing. By coo...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
An overview of microsystems technology is presented along with a discussion of the recent trends and challenges associated with its development. A typical bottom-up design methodo...
ISER
1993
Springer
15 years 2 months ago
1993
Springer
The interaction of an autonomous mobile robot with the real world critically depends on the robots morphology and on its environment. Building a model of these aspects is extremel...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we propose a web browsing support system, called WPM, which provides marking and anchoring functions on ordinary web browsers. WPM users can mark words and phrases ...