Sciweavers

1668 search results - page 57 / 334
» Towards a Design Methodology for Decision Support Systems
Sort
View
HOTOS
2007
IEEE
14 years 1 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
ER
2004
Springer
144views Database» more  ER 2004»
14 years 2 months ago
AFDM: A UML-Based Methodology for Engineering Intelligent Agents
Agents are a potential technology with many applications. It is urgent to develop appropriate methodologies for the development and deployment of agent-oriented applications. This ...
Yanjun Tong, Gregory M. P. O'Hare, Rem W. Collier
IEEEICCI
2002
IEEE
14 years 2 months ago
A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
Romi S. Wahono, Behrouz H. Far
USAB
2010
13 years 7 months ago
Social Acceptance of Negotiation Support Systems
We investigate people’s attitudes towards the possible use of mobile negotiation support systems (NSS) in different social contexts and the consequences for their design. For tha...
Alina Pommeranz, Pascal Wiggers, Willem-Paul Brink...
EMO
2006
Springer
158views Optimization» more  EMO 2006»
14 years 24 days ago
The Hypervolume Indicator Revisited: On the Design of Pareto-compliant Indicators Via Weighted Integration
The design of quality measures for approximations of the Pareto-optimal set is of high importance not only for the performance assessment, but also for the construction of multiobj...
Eckart Zitzler, Dimo Brockhoff, Lothar Thiele