Sciweavers

9974 search results - page 1490 / 1995
» Software Interconnection Models
Sort
View
IJDE
2007
105views more  IJDE 2007»
15 years 6 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
IJNVO
2007
111views more  IJNVO 2007»
15 years 6 months ago
Virtual enterprise formation and partner selection: an analysis using case studies
: A Virtual Enterprise (VE) can be described as an organisational form that emerges when individual entities form a team of partners to achieve a specific goal. The ability to asse...
Sobah Abbas Petersen
CSCW
2002
ACM
15 years 6 months ago
Activity Theory and System Design: A View from the Trenches
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...
Patricia Collins, Shilpa Shukla, David F. Redmiles
INFSOF
2000
77views more  INFSOF 2000»
15 years 6 months ago
Integration of functional, cognitive and quality requirements. A railways case study
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...
Massimo Felici, Mark-Alexander Sujan, Maria Wimmer
SIGMOD
2002
ACM
207views Database» more  SIGMOD 2002»
15 years 6 months ago
Supply Chain Infrastructures: System Integration and Information Sharing
The need for supply chain integration (SCI) methodologies has been increasing as a consequence of the globalization of production and sales, and the advancement of enabling inform...
Michael O. Ball, Meng Ma, Louiqa Raschid, Zhengyin...
« Prev « First page 1490 / 1995 Last » Next »