Sciweavers

22698 search results - page 3914 / 4540
» Modeling in Software Engineering
Sort
View
IJDE
2007
105views more  IJDE 2007»
15 years 7 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 7 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
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...
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 5 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
GI
2010
Springer
15 years 5 months ago
Towards a Service Level Management Framework for Service Value Networks
: The ongoing trend towards a global services economy creates considerable market opportunities and challenges for providers of Software-as-aService (SaaS). For meeting customer ex...
Christof Momm, Frank Schulz
« Prev « First page 3914 / 4540 Last » Next »