Sciweavers

1494 search results - page 230 / 299
» Monitored Software Components - A Novel Software Engineering...
Sort
View
ICSM
2006
IEEE
14 years 3 months ago
Reengineering User Interfaces of E-Commerce Applications Using Business Processes
E-commerce applications are designed to streamline the business processes for an organization. Graphical user interfaces allow business users to perform daily business activities ...
Qi Zhang, Rongchao Chen, Ying Zou
SEFM
2006
IEEE
14 years 3 months ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
Silvio Ranise, Calogero G. Zarba
ER
2005
Springer
134views Database» more  ER 2005»
14 years 2 months ago
An Agent-Oriented Meta-model for Enterprise Modelling
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
Ivan Jureta, Stéphane Faulkner
ICSM
2003
IEEE
14 years 2 months ago
An Environment for Managing Evolving Product Line Architectures
The use of product lines is recognized as beneficial in promoting and structuring both component and architecture reuse throughout an organization. While the business practices of...
Akash Garg, Matt Critchlow, Ping Chen, Christopher...
COMPSAC
2002
IEEE
14 years 2 months ago
XVIP: An XML-Based Video Information Processing System
We describe XVIP, an XML-based video information processing system, which extracts information from video and stores the information in a multimedia digital video library. XVIP en...
Edith C. H. Ngai, Pat Pik-Wah Chan, Edward Yau, Mi...