Sciweavers

1146 search results - page 170 / 230
» Formal Specification Generation from Requirement Documents
Sort
View
SAC
2004
ACM
15 years 3 months ago
Multilingual semantic elaboration in the DOSE platform
From the early World Wide Web exploitation until contemporary Semantic Web generation, global communication has become an essential need for many people on the Internet. Globaliza...
Dario Bonino, Fulvio Corno, Laura Farinetti, Andre...
FTDCS
1997
IEEE
15 years 2 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
CAISE
1993
Springer
15 years 1 months ago
Visualisation for Validation
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
Vali Lalioti, Pericles Loucopoulos
CHI
1992
ACM
15 years 1 months ago
Coupling Application Design and User Interface Design
Building an interactive application requires, amongst other activities, the design of both a data model and a user interface. These two designs are often done separately, frequent...
Dennis J. M. J. de Baar, James D. Foley, Kevin E. ...
VMV
2000
122views Visualization» more  VMV 2000»
14 years 11 months ago
Building a Photo Studio for Measurement Purposes
A digital photo studio was built to generate high quality real world input data for various imagebased rendering and vision algorithms. Special attention was paid to carefully con...
Michael Goesele, Wolfgang Heidrich, Hendrik P. A. ...