1234 search results - page 238 / 247 » Organizational Abstractions for Adaptive Systems |
194
Voted
CASES
2005
ACM
15 years 7 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
177
click to vote
TCSV
2002
15 years 5 months ago
2002
Abstract--A novel fully comprehensive mobile video communications system is proposed in this paper. This system exploits the useful rate management features of the video transcoder...
181
click to vote
HIPEAC
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Iterative compilation is an efficient approach to optimize programs on rapidly evolving hardware, but it is still only scarcely used in practice due to a necessity to gat...
155
Voted
QEST
2007
IEEE
16 years 4 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
156
click to vote
CAISE
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. One of the most significant paradigm shifts of software business management is that individual organizations no longer compete as single entities but as complex dynamic ...