539 search results - page 75 / 108 » The Semantic Gap of Formalized Meaning |
108
click to vote
ICISS
2005
Springer
15 years 5 months ago
2005
Springer
Since XML tends to become the main format to exchange data over the Internet, it is necessary to define a security model to control the access to the content of these documents. S...
FASE
2009
Springer
15 years 3 months ago
2009
Springer
Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we ref...
ESWS
2006
Springer
15 years 3 months ago
2006
Springer
Both the multilingual aspects which characterize the (Semantic) Web and the demand for more easy-to-share forms of knowledge representation, being equally accessible by humans and ...
100
click to vote
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...