Sciweavers

3040 search results - page 245 / 608
» Synergetic Tool Environments
Sort
View
INFOVIS
2003
IEEE
15 years 12 months ago
Design Choices when Architecting Visualizations
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
Diane Tang, Chris Stolte, Robert Bosch
KBSE
2003
IEEE
15 years 12 months ago
An Empirical Study on Groupware Support for Software Inspection Meetings
Software inspection is an effective way to assess product quality and to reduce the number of defects. In a software inspection the inspection meeting is a key activity to agree o...
Paul Grünbacher, Michael Halling, Stefan Biff...
ISMVL
2010
IEEE
209views Hardware» more  ISMVL 2010»
15 years 11 months ago
Secure Design Flow for Asynchronous Multi-valued Logic Circuits
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev
ICSE
2010
IEEE-ACM
15 years 11 months ago
Using information fragments to answer the questions developers ask
Each day, a software developer needs to answer a variety of questions that require the integration of different kinds of project information. Currently, answering these questions...
Thomas Fritz, Gail C. Murphy
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund