635 search results - page 32 / 127 » Towards the formalization of interaction semantics |
DAC
2006
ACM
16 years 23 days ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
107
click to vote
ENTCS
2006
14 years 11 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
CHI
2003
ACM
16 years 4 days ago
2003
ACM
Computer users deal with large amount of personal media data and they often face problems in managing and exploring them. The paper presents an innovative approach, Semantic Regio...
WWW
2007
ACM
16 years 14 days ago
2007
ACM
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
102
click to vote
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
The Web contains a large amount of documents and increasingly, also semantic data in the form of RDF triples. Many of these triples are annotations that are associated with docume...