2143 search results - page 321 / 429 » Linking Representation with Meaning |
177
click to vote
FSEN
2009
Springer
16 years 29 days ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
159
click to vote
SEMWEB
2009
Springer
16 years 28 days ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
155
click to vote
HT
2009
ACM
16 years 28 days ago
2009
ACM
Collaborative tagging systems are now popular tools for organising and sharing information on the Web. While collaborative tagging offers many advantages over the use of controll...
171
click to vote
ICFCA
2010
Springer
16 years 27 days ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
148
click to vote
IAT
2008
IEEE
16 years 26 days ago
2008
IEEE
To support human functioning, ambient intelligent agents require knowledge about the tasks executed by the human. This knowledge includes design-time information like: (i) the goa...