Sciweavers

717 search results - page 37 / 144
» Modeling and Analysis of Software Aging Process
Sort
View
ICCD
2002
IEEE
141views Hardware» more  ICCD 2002»
14 years 7 months ago
Embedded Operating System Energy Analysis and Macro-Modeling
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signiļ¬...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha
UML
2004
Springer
14 years 4 months ago
5th International Workshop on Aspect-Oriented Modeling
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language ā...
Dominik Stein, Jörg Kienzle, Mohamed Kand&eac...
JOT
2010
144views more  JOT 2010»
13 years 9 months ago
REquirements, Aspects and Software Quality: the REASQ model
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and diļ¬ƒcult to main...
Isi Castillo, Francisca Losavio, Alfredo Matteo, J...
ISORC
2005
IEEE
14 years 4 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal veriļ¬cation techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
WSC
2008
14 years 29 days ago
Simulation of process execution monitoring and adjustment schemes
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...
Russell R. Barton, Jun Shu