1465 search results - page 49 / 293 » Making the Correct Mistakes |
148
click to vote
DATE
2008
IEEE
16 years 16 days ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
154
click to vote
AGTIVE
1999
Springer
15 years 10 months ago
1999
Springer
DiaGen is a specification method, which is primarily based on a hypergraph grammar, and a tool that allows to automatically generate diagram editors from such a specification. Ge...
271
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
Although conventional database management systems are designed to tolerate hardware and to a lesser extent even software errors, they cannot protect themselves against syntactical...
177
click to vote
ICCS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
179
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...