6583 search results - page 394 / 1317 » Semantic Analysis Patterns |
117
Voted
GW
2003
Springer
15 years 10 months ago
2003
Springer
The paper argues that the communicative system of touch includes a lexicon, an alphabet and some norms of use, and presents a research aimed at making them explicit. 104 items of t...
197
Voted
CSFW
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
138
click to vote
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we propose a technique for evaluating similarity of XML Schema fragments. Firstly, we define classes of structurally and semantically equivalent XSD constructs. Then...
125
Voted
TOSEM
2002
15 years 4 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
161
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...