Sciweavers

1982 search results - page 290 / 397
» New Products
Sort
View
IV
2000
IEEE
110views Visualization» more  IV 2000»
15 years 11 months ago
MACAO - A Journey into CAx Interoperability and Collaborative Design
The increasing parallelisation of development processes as well as the ongoing trends towards virtual product development and outsourcing of development activities strengthen the ...
Florian Arnold
SIGDOC
2000
ACM
15 years 11 months ago
High-tech publications need old-fashioned editing
: Standard formats, familiar word choices, consistency, organization, simple graphic formats, technology, mechanics, and the global nature of the user and the media are major consi...
Janis Ramey, Marlene Miller
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 11 months ago
Efficient High-Level modeling in the networking domain
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
Christian Zebelein, Joachim Falk, Christian Haubel...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
WACC
1999
ACM
15 years 11 months ago
SaveMe: a system for archiving electronic documents using messaging groupware
Today, organizations deal with an ever-increasing number of documents that have to be archived because they are either related to their core business (e.g., product designs) or ne...
Stefan Berchtold, Alexandros Biliris, Euthimios Pa...