Sciweavers

1746 search results - page 40 / 350
» Residual for Component Specifications
Sort
View
ICSE
2008
IEEE-ACM
14 years 8 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
ICT
2004
Springer
105views Communications» more  ICT 2004»
14 years 1 months ago
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks
: this document presents a generic model capturing the essential structural and behavioral characteristics of network components in the light of fault management. The generic model...
Armen Aghasaryan, Claude Jard, Julien Thomas
LREC
2008
89views Education» more  LREC 2008»
13 years 9 months ago
Development and Alignment of a Domain-Specific Ontology for Question Answering
With the appearance of Semantic Web technologies, it becomes possible to develop novel, sophisticated question answering systems, where ontologies are usually used as the core kno...
Shiyan Ou, Viktor Pekar, Constantin Orasan, Christ...
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
14 years 1 months ago
G-MAC: An Application-Specific MAC/Co-Processor Synthesizer
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...
Alex C.-Y. Chang, Wu-An Kuo, Allen C.-H. Wu, TingT...
ENTCS
2002
80views more  ENTCS 2002»
13 years 7 months ago
Metaprogramming Applied to Web Component Deployment
Metaprogramming is a generic approach described in many articles. Surprisingly, examples of successful applications are scarce. This paper gives such an example. With a metaprogra...
Welf Löwe, Markus L. Noga