5451 search results - page 455 / 1091 » Typed Operational Semantics |
150
click to vote
CSFW
2006
IEEE
16 years 25 days ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
162
Voted
JSAI
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
165
Voted
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
Patterns represent in a compact and rich in semantics way huge quantity of heterogeneous data. Due to their characteristics, specific systems are required for pattern management,...
147
click to vote
WEBI
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes an approach for a composition of web services based on their semantic descriptions. The process section of OWL-S service descriptions is built with references...
150
click to vote
ACOM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...