2496 search results - page 323 / 500 » Error-detecting properties of languages |
139
click to vote
ICOST
2007
Springer
15 years 10 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
138
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
127
click to vote
UC
2007
Springer
15 years 10 months ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
159
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
130
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...