Sciweavers

3745 search results - page 61 / 749
» Sonic: System Description
Sort
View
ICEGOV
2007
ACM
15 years 10 months ago
Formal threat descriptions for enhancing governmental risk assessment
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
Andreas Ekelhart, Stefan Fenz, Thomas Neubauer, Ed...
FM
1999
Springer
114views Formal Methods» more  FM 1999»
15 years 10 months ago
Integrating Formal Description Techniques
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
Bernhard Schätz, Franz Huber
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 10 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
JMM2
2008
67views more  JMM2 2008»
15 years 6 months ago
Interactive Face Generation from Verbal Description Using Conceptual Fuzzy Sets
In this article, a human centered approach for interactive face generation is presented. The users of the system are given the possibility to interactively generate faces from verb...
Hafida Benhidour, Takehisa Onisawa
CC
2006
Springer
125views System Software» more  CC 2006»
15 years 10 months ago
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions
Abstract. Writing an optimizing back end is expensive, in part because it requires mastery of both a target machine and a compiler's internals. We separate these concerns by i...
João Dias, Norman Ramsey