Sciweavers

678 search results - page 73 / 136
» Extended Traits for Model Driven Software Development
Sort
View
TKDE
2012
208views Formal Methods» more  TKDE 2012»
13 years 3 months ago
A Knowledge-Driven Approach to Activity Recognition in Smart Homes
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
Liming Chen, Chris D. Nugent, Hui Wang
82
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
Learning Parameterized State Machine Model for Integration Testing
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz
134
Voted
RE
2006
Springer
15 years 14 days ago
Interaction Analysis in Aspect-Oriented Models
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
Katharina Mehner, Mattia Monga, Gabriele Taentzer
97
Voted
PRDC
2000
IEEE
15 years 4 months ago
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor...
104
Voted
VMCAI
2004
Springer
15 years 5 months ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel