1000 search results - page 49 / 200 » Relationship Model of Abstractions Used for Developing Domai... |
98
Voted
ACL
1998
15 years 5 months ago
1998
In this paper, we present a framework, PRESENTOR, for the development and customization of hypertext presentation generators. PRESENTOR offers intuitive and powerful declarative l...
126
Voted
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Hand dyeing generates artistic representations with unique and complex patterns. The aesthetics of dyed patterns on a cloth originate from the physical properties of dyei...
155
Voted
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
121
Voted
AAAI
1994
15 years 5 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
161
Voted
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...