1390 search results - page 142 / 278 » On the Algebraic Structure of Convergence |
161
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
197
click to vote
ISSAC
2004
Springer
15 years 12 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
195
click to vote
EUROMICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
195
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Relational database systems are highly efficient hosts to table-shaped data. It is all the more interesting to see how a careful inspection of both, the XML tree structure as wel...
168
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...