Sciweavers

622 search results - page 58 / 125
» Integrating Software Construction and Software Deployment
Sort
View
IUI
2003
ACM
14 years 2 months ago
Scripting embodied agents behaviour with CML: character markup language
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...
Yasmine Arafa, E. H. Mamdani
SIGMOD
2010
ACM
227views Database» more  SIGMOD 2010»
14 years 2 months ago
SecureBlox: customizable secure distributed data processing
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
William R. Marczak, Shan Shan Huang, Martin Braven...
RE
1997
Springer
14 years 1 months ago
SOFL: A Formal Engineering Methodology for Industrial Applications
ā€”Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
Shaoying Liu
SEFM
2003
IEEE
14 years 2 months ago
From Requirements to Design: Formalizing the Key Steps
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
R. Geoff Dromey
EUROMICRO
2003
IEEE
14 years 3 months ago
Web Service Engineering with DIWE
A Web service is frequently deļ¬ned as browser-less access to content on a Web site. The industryā€™s focus to date has been on providing easy-to-use low-level libraries, tools a...
Engin Kirda, Clemens Kerer, Christopher Krüge...