Sciweavers

9974 search results - page 221 / 1995
» Software Interconnection Models
Sort
View
IPPS
2007
IEEE
16 years 24 days ago
Model-Driven Performance Analysis Methodology for Distributed Software Systems
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...
Swapna S. Gokhale, Paul J. Vandal, Aniruddha S. Go...
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 12 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
SE
2007
15 years 8 months ago
A Case Study on Model-Driven and Conventional Software Development: The palladio editor
: The actual benefits of model-driven approaches compared to code-centric development have not been systematically investigated. This paper presents a case study in which function...
Klaus Krogmann, Steffen Becker
IWSEC
2009
Springer
16 years 1 months ago
Tamper-Tolerant Software: Modeling and Implementation
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
Mariusz H. Jakubowski, Chit Wei Saw, Ramarathnam V...
GECCO
2003
Springer
182views Optimization» more  GECCO 2003»
15 years 11 months ago
Modeling the Search Landscape of Metaheuristic Software Clustering Algorithms
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...
Brian S. Mitchell, Spiros Mancoridis