Sciweavers

596 search results - page 52 / 120
» On the Use of Visualization in Formal Requirements Specifica...
Sort
View
171
Voted
PODS
2002
ACM
117views Database» more  PODS 2002»
16 years 6 months ago
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
Research on information extraction from Web pages (wrapping) has seen much activity in recent times (particularly systems implementations), but little work has been done on formal...
Georg Gottlob, Christoph Koch
ISB
2002
112views more  ISB 2002»
15 years 5 months ago
High quality visualization of biochemical pathways in BioPath
ABSTRACT: Biochemical reactions form large and complex networks. Comprehensible visual representations of these networks help biochemists understand the relationships between the c...
Falk Schreiber
202
Voted
HVC
2007
Springer
153views Hardware» more  HVC 2007»
15 years 10 months ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul
144
Voted
CORR
2011
Springer
145views Education» more  CORR 2011»
15 years 1 months ago
SLDs for Visualizing Multicolor Elevation Contour Lines in Geo-Spatial Web Applications
— This paper addresses the need for geospatial consumers (either humans or machines) to visualize multicolored elevation contour poly lines with respect their different contour i...
B. G. Kodge, P. S. Hiremath
MKWI
2008
145views Business» more  MKWI 2008»
15 years 7 months ago
Bringing Developers and Users Closer Together: The OpenProposal Story
: Even though end-user participation in requirements engineering (RE) is highly important, it is at present not frequently used. Reasons can be found in the large expenditure of ti...
Asarnusch Rashid, Jan Wiesenberger, David Meder, J...