2776 search results - page 171 / 556 » System-Level Abstraction Semantics |
129
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
136
click to vote
ASIAN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
142
Voted
DEXA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Sharing of structured data in decentralized environments is a challenging problem, especially in the absence of a global schema. Social network structures map network lin...
138
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
104
Voted
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Searching for information on the Internet became much easier when Google started delivering their service. We got used to getting the most important (probably) results on...