Sciweavers

496 search results - page 78 / 100
» Concept Lattices in Software Analysis
Sort
View
ECOOPW
2003
Springer
14 years 1 months ago
Modeling Variability for Object-Oriented Product Lines
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
Matthias Riebisch, Detlef Streitferdt, Ilian Pasho...
EMSOFT
2010
Springer
13 years 6 months ago
PinaVM: a systemC front-end based on an executable intermediate representation
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
Kevin Marquet, Matthieu Moy
ICALT
2005
IEEE
14 years 1 months ago
A System Designed to Support Formative Assessment of Open-Ended Written Assignments
This paper introduces the MarkTool System – a software system designed to support formative assessment of open-ended written assignments. The MarkTool System brings together ser...
Jun Zhang, Eva Heinrich
IMA
2005
Springer
127views Cryptology» more  IMA 2005»
14 years 1 months ago
On the Automatic Construction of Indistinguishable Operations
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
Manuel Barbosa, Dan Page
ER
2003
Springer
226views Database» more  ER 2003»
14 years 1 months ago
Agent-Oriented Modeling and Agent-Based Simulation
Agent-oriented modeling of software and information systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We argue t...
Gerd Wagner, Florin Tulba