2940 search results - page 429 / 588 » Behavioral Constraints for Services |
255
click to vote
ASPDAC
2008
ACM
15 years 7 months ago
2008
ACM
A major trend in a modern system-on-chip design is a growing system complexity, which results in a sharp increase of communication traffic on the on-chip communication bus architec...
111
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Multi-agent teams must be capable of selecting the most beneficial teammates for different situations. Multi-dimensional trustworthiness assessments have been shown significantly ...
186
click to vote
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
158
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
155
click to vote
EWCBR
2008
Springer
15 years 7 months ago
2008
Springer
The main goal of a Case-Based Reasoning (CBR) system is to provide criteria for evaluating the internal behavior and task efficiency of a particular system for a given initial case...