7429 search results - page 1421 / 1486 » Embedded System Update |
131
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
In extraordinary situations, certain individuals may require access to information for which they are not normally authorized. For example, to facilitate rescue of people trapped ...
118
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
127
Voted
ATMOS
2008
15 years 4 months ago
2008
Delay management is an important issue in the daily operations of any railway company. The task is to update the planned timetable to a disposition timetable in such a way that the...
142
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
132
Voted
SIGSAND
2008
15 years 4 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...