8959 search results - page 1570 / 1792 » Composing aspects with aspects |
190
click to vote
ROBOCUP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
172
click to vote
RV
2007
Springer
16 years 25 days ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
163
click to vote
SAGA
2007
Springer
16 years 25 days ago
2007
Springer
The line-of-sight networks is a network model introduced recently by Frieze et al. (SODA’07). It considers scenarios of wireless networks in which the underlying environment has...
180
Voted
SAS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
197
click to vote
SOFSEM
2007
Springer
16 years 25 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...