6016 search results - page 761 / 1204 » The semantics of graphical languages |
175
Voted
ECBS
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
217
click to vote
CSFW
2009
IEEE
16 years 2 months ago
2009
IEEE
Timeout mechanisms are a useful feature for web applications. However, these mechanisms need to be used with care because, if used as-is, they are vulnerable to timing attacks. Th...
185
click to vote
WOLLIC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
220
click to vote
DEXA
2009
Springer
16 years 2 months ago
2009
Springer
SPARQL is today the standard access language for Semantic Web data. In the recent years XML databases have also acquired industrial importance due to the widespread applicability o...
197
Voted
WIKIS
2009
ACM
16 years 2 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...