Sciweavers

1750 search results - page 237 / 350
» E-Commerce Development Procedure
Sort
View
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
15 years 9 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
TIDSE
2004
Springer
15 years 9 months ago
Learning from the Movie Industry: Adapting Production Processes for Storytelling in VR
Any movie production needs a whole group of contributing authors and creative artists from various fields. The same should obviously be true for the making of a compelling VR scena...
Richard Wages, Benno Grützmacher, Stefan Conr...
ATS
2003
IEEE
75views Hardware» more  ATS 2003»
15 years 9 months ago
An Enhanced Test Generator for Capacitance Induced Crosstalk Delay Faults
Capacitive crosstalk can give rise to slowdown of signals that can propagate to a circuit output and create a functional error. A test generation methodology, called XGEN, was dev...
Arani Sinha, Sandeep K. Gupta, Melvin A. Breuer
ICDM
2003
IEEE
99views Data Mining» more  ICDM 2003»
15 years 9 months ago
Scalable Model-based Clustering by Working on Data Summaries
The scalability problem in data mining involves the development of methods for handling large databases with limited computational resources. In this paper, we present a two-phase...
Huidong Jin, Man Leung Wong, Kwong-Sak Leung
ICTAI
2003
IEEE
15 years 9 months ago
Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
Naveed Arshad, Dennis Heimbigner, Alexander L. Wol...