2496 search results - page 427 / 500 » Error-detecting properties of languages |
108
Voted
AOSD
2006
ACM
15 years 5 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
135
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
113
click to vote
DSD
2004
IEEE
15 years 5 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
122
click to vote
EKAW
2006
Springer
15 years 5 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
101
Voted
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...