Sciweavers

1908 search results - page 82 / 382
» Capability Models and Their Applications in Planning
Sort
View
HICSS
2006
IEEE
132views Biometrics» more  HICSS 2006»
15 years 10 months ago
Supporting the Module Sequencing Decision in the ERP Implementation Process
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...
Petri Hallikainen, Harri Kimpimäki, Hannu Kiv...
136
Voted
WSC
2001
15 years 6 months ago
Seamless integration of layout and simulation
This document talks about the usage of Simulation Data Exchange (SDX) (Moorthy 1999) in order to enable a consistent digital model of automotive factories. The scope of the digita...
Karsten Mecklenburg
SIGMOD
2009
ACM
202views Database» more  SIGMOD 2009»
16 years 4 months ago
ZStream: a cost-based query processor for adaptively detecting composite events
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
Yuan Mei, Samuel Madden
NCA
2008
IEEE
15 years 11 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
TOG
2010
157views more  TOG 2010»
14 years 11 months ago
Computer-generated residential building layouts
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
Paul Merrell, Eric Schkufza, Vladlen Koltun