Sciweavers

4255 search results - page 255 / 851
» Database: Models, Languages, Design
Sort
View
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
16 years 15 days ago
A Coloured Petri Net Trust Model
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
Peter Lory
ER
2010
Springer
146views Database» more  ER 2010»
15 years 5 months ago
Data Modeling Is Important for SOA
The promise of SOA is being held back by a lack of rigor with XSD interchange files. Many developers focus on the design of individual services and pay little attention to how the ...
Michael R. Blaha
FPL
2007
Springer
190views Hardware» more  FPL 2007»
16 years 1 months ago
The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
Andreas Herrholz, Frank Oppenheimer, Philipp A. Ha...
FDL
2008
IEEE
15 years 7 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
ICCAD
2002
IEEE
176views Hardware» more  ICCAD 2002»
16 years 4 months ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna