Sciweavers

3255 search results - page 96 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
134
Voted
ICECCS
2005
IEEE
92views Hardware» more  ICECCS 2005»
15 years 9 months ago
Secure Software Architectures Design by Aspect Orientation
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Ga...
172
Voted
TASLP
2010
169views more  TASLP 2010»
14 years 10 months ago
Integration of Statistical Models for Dictation of Document Translations in a Machine-Aided Human Translation Task
Abstract--This paper presents a model for machine aided human translation (MAHT) that integrates source language text and target language acoustic information to produce the text t...
Aarthi Reddy, Richard C. Rose
127
Voted
AMAST
2004
Springer
15 years 9 months ago
On Guard: Producing Run-Time Checks from Integrity Constraints
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
Michael Benedikt, Glenn Bruns
112
Voted
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 10 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
103
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
Software Process Support over the Internet
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
Frank Maurer, Giancarlo Succi, Harald Holz, Boris ...