Sciweavers

1865 search results - page 71 / 373
» A Rule-Based, Integrated Modelling Approach for Object-Orien...
Sort
View
WSC
2000
15 years 5 months ago
An integrated object model for activity network based simulation
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
Gert Zülch, Jörg Fischer, Uwe Jonsson
CAV
2009
Springer
157views Hardware» more  CAV 2009»
16 years 4 months ago
Explaining Counterexamples Using Causality
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigai...
139
Voted
ACHI
2009
IEEE
15 years 10 months ago
A Model-Driven Development Approach Focusing Human Interaction
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
Stefan Link, Philip Hoyer, Tilmann Kopp, Sebastian...
ICPR
2004
IEEE
16 years 5 months ago
Integration of Range Images in a Multi-View Stereo System
A novel method for integrating multiple range images in a multi-view stereo imaging system is presented here. Due to self-occlusion an individual range image provides only a parti...
J. Paul Siebert, Jiahua Wu, Nigel J. B. McFarlane,...
WWW
2001
ACM
16 years 4 months ago
Function-based object model towards website adaptation
Content understanding is a crucial issue for website adaptation. In this paper we present a Function-based Object Model (FOM) that attempts to understand authors' intention b...
Jinlin Chen, Baoyao Zhou, Jin Shi, HongJiang Zhang...