6201 search results - page 1015 / 1241 » Implementation of Axiomatic Language |
177
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
146
click to vote
ER
2007
Springer
16 years 23 days ago
2007
Springer
Although OWL provides a solid basis for many semantic-web applications, it lacks sufficient declarative semantics for instance recognition. This omission prevents OWL from being a ...
179
click to vote
ER
2007
Springer
16 years 23 days ago
2007
Springer
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
139
click to vote
EUROGP
2007
Springer
16 years 23 days ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
172
click to vote
EUROSSC
2007
Springer
16 years 23 days ago
2007
Springer
We present a new approach for the detection of complex events in Wireless Sensor Networks. Complex events are sets of data points that correspond to interesting or unusual patterns...