6016 search results - page 1098 / 1204 » The semantics of graphical languages |
125
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
144
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
130
click to vote
WEBDB
2009
Springer
15 years 10 months ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
115
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Stigmergy is usually associated with semantically simple problems such as routing. It can be applied to more complex problems by encoding them in the environment through which sti...
140
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...