Sciweavers

113 search results - page 15 / 23
» Arguing About Planning Alternatives
Sort
View
ICSE
2003
IEEE-ACM
15 years 9 months ago
Towards a Systems Engineering Pattern Language: Applying i* to Model Requirements-Architecture Patterns
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
Pete Pavan, Neil A. M. Maiden, Xiaohong Zhu
IQ
2001
14 years 10 months ago
Information Envelope and its Information Integrity Implications
: Physical and informational works are strongly interrelated in a business process. This facilitates modeling a business process as an integral part of a closed loop information an...
Vijay V. Mandke, Madhavan K. Nayar, Kamna Malik
COMPUTER
2006
87views more  COMPUTER 2006»
14 years 9 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson
SIGMOD
2004
ACM
122views Database» more  SIGMOD 2004»
15 years 9 months ago
Adapting to Source Properties in Processing Data Integration Queries
An effective query optimizer finds a query plan that exploits the characteristics of the source data. In data integration, little is known in advance about sources' propertie...
Zachary G. Ives, Alon Y. Halevy, Daniel S. Weld
ISF
2007
84views more  ISF 2007»
14 years 9 months ago
Guided interaction: A mechanism to enable ad hoc service interaction
Ad hoc interaction between web services and their clients is a worthwhile but seemingly distant goal. This paper presents guided interaction as an alternative to the current mecha...
Phillipa Oaks, Arthur H. M. ter Hofstede