Sciweavers

4151 search results - page 471 / 831
» Language Driven System Design
Sort
View
ER
2009
Springer
166views Database» more  ER 2009»
16 years 1 months ago
A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
Golnaz Elahi, Eric S. K. Yu, Nicola Zannone
HYBRID
2007
Springer
16 years 1 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
WCRE
2000
IEEE
15 years 11 months ago
FAMIX and XMI
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
Sander Tichelaar, Stéphane Ducasse, Serge D...
FCCM
2004
IEEE
144views VLSI» more  FCCM 2004»
15 years 10 months ago
Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...
Matthias Dyer, Marco Platzner, Lothar Thiele
AOIS
2003
15 years 8 months ago
AOR Modelling and Simulation: Towards a General Architecture for Agent-Based Discrete Event Simulation
Abstract. Agent-oriented modelling of software systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We show that th...
Gerd Wagner