1026 search results - page 185 / 206 » Software Engineering for Self-Adaptive Systems: A Research R... |
156
click to vote
EMSOFT
2007
Springer
16 years 10 days ago
2007
Springer
With multicore architectures being introduced to the market, the research community is revisiting problems to evaluate them under the new preconditions set by those new systems. A...
154
click to vote
FSEN
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
163
click to vote
UIST
2006
ACM
16 years 3 days ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...
166
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
151
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
The concept of Enterprise Application Integration (EAI) is widely used for integrating heterogeneous applications and systems by message-based communication. Typically, EAI servers...