4460 search results - page 460 / 892 » Formal methods for interactive systems |
173
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
172
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...
165
click to vote
CEEMAS
2005
Springer
16 years 10 days ago
2005
Springer
Nowadays the design of user interfaces has become a discipline of great importance in Software Engineering, mainly due to the increasing impact that a high quality user interface h...
212
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—We present an OCR-driven writer identification algorithm in this paper. Our algorithm learns writer-specific characteristics more precisely from explicit character alignment usi...
202
click to vote
ICDCS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper develops a scalable online optimization framework for the autonomic performance management of distributed computing systems operating in a dynamic environment to satisf...