Sciweavers

2513 search results - page 11 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
ICECCS
2010
IEEE
196views Hardware» more  ICECCS 2010»
13 years 10 months ago
Implementing and Evaluating a Model Checker for Transactional Memory Systems
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
Woongki Baek, Nathan Grasso Bronson, Christos Kozy...
IWSAS
2000
Springer
14 years 1 months ago
Model-Integrated Embedded Systems
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
Ákos Lédeczi, Arpad Bakay, Miklos Ma...
ICSR
2000
Springer
14 years 1 months ago
Implementation Issues in Product Line Scoping
Often product line engineering is treated similar to the waterfall model in traditional software engineering, i.e., the different phases (scoping, analysis, architecting, implemen...
Klaus Schmid, Cristina Gacek
SIGSAND
2008
13 years 11 months ago
Reference Model for Service-oriented Business Software Based on Web Service Nets
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
Maik Herfurth, Thomas Karle, Frank Schönthale...
ECLIPSE
2007
ACM
14 years 1 months ago
An Eclipse-based tool framework for software model management
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
Rick Salay, Marsha Chechik, Steve M. Easterbrook, ...