10707 search results - page 1705 / 2142 » Designing executable abstractions |
194
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
210
click to vote
FOSSACS
2005
Springer
16 years 1 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
225
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
216
click to vote
MIDDLEWARE
2005
Springer
16 years 1 months ago
2005
Springer
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...
192
click to vote
OOPSLA
2005
Springer
16 years 1 months ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...