1026 search results - page 62 / 206 » Software Engineering for Self-Adaptive Systems: A Research R... |
119
click to vote
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
115
click to vote
SIGSOFT
2010
ACM
14 years 6 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
RIVF
2007
15 years 1 months ago
2007
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
RE
2008
Springer
14 years 10 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...
BEHAVIOURIT
2010
14 years 9 months ago
2010
Improvisation is rapidly becoming an important issue for both scholars and practitioners. Organizations that operate in turbulent environments must learn to swiftly adapt and resp...