1369 search results - page 240 / 274 » Graphical Design of Reactive Systems |
107
click to vote
ZUM
1997
Springer
15 years 1 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
117
click to vote
VIS
2004
IEEE
15 years 11 months ago
2004
IEEE
Endonasal transsphenoidal pituitary surgery is a minimally invasive endoscopic procedure, applied to remove various kinds of pituitary tumors. To reduce the risk associated with t...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we propose a new user interface to interactively specify Web wrappers to extract relational information from Web documents. In this study, we focused on improving u...
MOBIHOC
2009
ACM
15 years 10 months ago
2009
ACM
Sectorized antennas provide an attractive solution to increase wireless network capacity through higher spatial reuse. Despite their increasing popularity, the real-world performa...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes mechanisms for asynchronous collaboration in the context of information visualization, recasting visualizations as not just analytic tools, but social spaces....