Sciweavers

437 search results - page 44 / 88
» Gradience, Constructions and Constraint Systems
Sort
View
ICSE
1995
IEEE-ACM
14 years 18 days ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
Michael Jackson, Pamela Zave
ACL
2007
13 years 10 months ago
Generating a Table-of-Contents
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...
S. R. K. Branavan, Pawan Deshpande, Regina Barzila...
ISIM
2007
13 years 10 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska
CG
2007
Springer
13 years 9 months ago
Multiresolution for curves and surfaces based on constraining wavelets
We present a novel method for determining local multiresolution filters for a broad range of subdivision schemes. Our approach is based on constraining the wavelet coefficients s...
Luke Olsen, Faramarz F. Samavati, Richard H. Barte...
JASSS
1998
82views more  JASSS 1998»
13 years 8 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines