Sciweavers

1760 search results - page 170 / 352
» The Focus of Requirements Engineering in Workflow Applicatio...
Sort
View
SIGSOFT
2003
ACM
15 years 3 months ago
Evaluating and improving the automatic analysis of implicit invocation systems
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
Jeremy S. Bradbury, Jürgen Dingel
ICCSA
2003
Springer
15 years 3 months ago
Digital Styling for Designers: Sketch Emulation in Computer Environment
Abstract. The digitalization of product-styling tools for the early designdevelopment stage has focused on using raster-type graphics S/Ws. These kinds of S/Ws enable designers fre...
Seok-Hyung Bae, Won-Sup Kim, Eun-Sook Kwon
WWW
2007
ACM
15 years 10 months ago
Extending WebML towards semantic web
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
Federico Michele Facca, Marco Brambilla
IESA
2007
14 years 11 months ago
The Interoperability of Information and its Representation in New Media: A Case Study of a Global Content Provider
This paper focuses on the construct of interoperability of web-based information applications, commonly known as ‘mashups’, reporting a case study of a global content provider...
J. Mariategui, J. Kallinikos
70
Voted
SERA
2005
Springer
15 years 3 months ago
A Design and Test Technique for Embedded Software
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...
Byeongdo Kang, Young-Jik Kwon, Roger Y. Lee