4902 search results - page 650 / 981 » Structures, Semantics and Statistics |
211
click to vote
FMICS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
177
click to vote
DOCENG
2006
ACM
16 years 22 days ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
157
click to vote
SIGDOC
2006
ACM
16 years 22 days ago
2006
ACM
Visually impaired users are hindered in their efforts to access the largest repository of electronic information in the world, namely the World Wide Web (Web). A visually impaired...
168
click to vote
ADBIS
2005
Springer
16 years 9 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
163
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...