Sciweavers

9425 search results - page 421 / 1885
» Some Notes on Models and Modelling
Sort
View
145
Voted
ER
2000
Springer
186views Database» more  ER 2000»
15 years 8 months ago
Conceptual Design of Electronic Product Catalogs Using Object-Oriented Hypermedia Modeling Techniques
The application of conceptual models that assure both the consistency and usability of Electronic Product Catalogs (EPC's) is a main concern in the e-commerce community, mainl...
Cristina Cachero, Jaime Gómez, Oscar Pastor
144
Voted
SPIN
2000
Springer
15 years 8 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
ICRA
1995
IEEE
167views Robotics» more  ICRA 1995»
15 years 8 months ago
Modeling of Linear Objects Considering Bend, Twist, and Extensional Deformations
A systematic approach to the modeling of deformable ne linear objects is presented. Various deformable objects are manipulated in many manufacturing processes. Deformation of the...
Hidefumi Wakamatsu, Shinichi Hirai, Kazuaki Iwata
ICPR
2010
IEEE
15 years 7 months ago
Near-Regular BTF Texture Model
—In this paper we present a method for seamless enlargement and editing of intricate near-regular type of bidirectional texture function (BTF) which contains simultaneously both ...
Michael Haindl, Martin Hatka
WSC
2008
15 years 7 months ago
C-5 Isochronal inspection process modeling
United States Air Mobility Command (AMC) has a limited number of C-5 aircraft, and so opportunities to either preserve or increase aircraft availability are of interest to them. I...
Alan W. Johnson, Charles Glasscock, Adam Little, M...