Sciweavers

2062 search results - page 168 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
AMAST
2004
Springer
14 years 1 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
GCC
2006
Springer
14 years 29 days ago
GPFlow: An Intuitive Environment for Web Based Scientific Workflow
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
Asbjørn Rygg, Paul Roe, On Wong
CODES
2001
IEEE
14 years 28 days ago
Evaluating register file size in ASIP design
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...
Manoj Kumar Jain, Lars Wehmeyer, Stefan Steinke, P...
TACS
1997
Springer
14 years 25 days ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
VAMOS
2010
Springer
13 years 10 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund