15777 search results - page 2922 / 3156 » Engineering in Software |
136
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
148
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
134
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
134
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
128
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...