8083 search results - page 201 / 1617 » A Formalization of Software Architecture |
128
click to vote
FMOODS
2006
15 years 8 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
190
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Attacks on software systems are an increasingly serious problem from an economic and security standpoint. Many techniques have been proposed ranging from simple compiler modifi...
159
click to vote
HICSS
2005
IEEE
16 years 3 days ago
2005
IEEE
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
192
click to vote
LION
2010
Springer
15 years 11 months ago
2010
Springer
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
209
click to vote
ECRTS
2008
IEEE
15 years 6 months ago
2008
IEEE
Fault tolerance is an important aspect in real-time computing. In real-time control systems, tasks could be faulty due to various reasons. Faulty tasks may compromise the performa...