Sciweavers

2493 search results - page 307 / 499
» Tool Support for Design by Contract
Sort
View
DSD
2010
IEEE
221views Hardware» more  DSD 2010»
14 years 8 months ago
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jea...
IEEEVAST
2010
14 years 5 months ago
Diamonds in the rough: Social media visual analytics for journalistic inquiry
Journalists increasingly turn to social media sources such as Facebook or Twitter to support their coverage of various news events. For large-scale events such as televised debate...
Nicholas Diakopoulos, Mor Naaman, Funda Kivran-Swa...
WSC
2000
14 years 12 months ago
An integrated object model for activity network based simulation
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
Gert Zülch, Jörg Fischer, Uwe Jonsson
BMCBI
2007
100views more  BMCBI 2007»
14 years 10 months ago
SBMLeditor: effective creation of models in the Systems Biology Markup Language (SBML)
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
Nicolas Rodriguez, Marco Donizelli, Nicolas Le Nov...
CAD
2002
Springer
14 years 10 months ago
Integrating part and assembly modelling
Current modelling systems adequately support either modelling of parts or modelling of assemblies, whereas ideal modelling systems should adequately support both. To achieve this,...
Alex Noort, Geoffry F. M. Hoek, Willem F. Bronsvoo...