Sciweavers

1802 search results - page 240 / 361
» Using Declarative Specifications in Business Process Design
Sort
View
CORR
2004
Springer
103views Education» more  CORR 2004»
15 years 2 months ago
Towards a Model-Based Framework for Integrating Usability and Software Engineering Life Cycles
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
Pardha S. Pyla, Manuel A. Pérez-Quiñ...
EUROMICRO
2005
IEEE
15 years 8 months ago
Naked Objects versus Traditional Mobile Platform Development: A Comparative Case Study
It has been suggested that use of the Naked Objects pattern could contribute to business agility of applications and reduce the amount of the application code up to 75 percent in ...
Heikki Keränen, Pekka Abrahamsson
DAC
1997
ACM
15 years 7 months ago
Electronic Component Information Exchange (ECIX)
A number of industry trends are shaping the requirements for IC and electronic equipment design. The density and complexity of circuit technologies have increased to a point where...
Donald R. Cottrell
CIKM
2006
Springer
15 years 6 months ago
Structure-based querying of proteins using wavelets
The ability to retrieve molecules based on structural similarity has use in many applications, from disease diagnosis and treatment to drug discovery and design. In this paper, we...
Keith Marsolo, Srinivasan Parthasarathy, Kotagiri ...
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 6 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock