Sciweavers

1900 search results - page 99 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 4 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
AFRIGRAPH
2007
ACM
15 years 1 months ago
Generic computation of bulletin boards into geometric kernels
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
Mehdi Baba-ali, David Marcheix, Xavier Skapin, Yve...
CD
2005
Springer
15 years 3 months ago
Modelling Deployment Using Feature Descriptions and State Models for Component-Based Software Product Families
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
Slinger Jansen, Sjaak Brinkkemper
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 4 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
3DGIS
2006
Springer
15 years 3 months ago
Reconstruction of Complex Buildings using LIDAR and 2D Maps
The extraction of the building models from remote-sensed data is an important work in the geographic information systems. This investigation describes an approach to integrate LIDA...
Tee-Ann Teo, Jiann-Yeou Rau, Liang-Chien Chen, Jin...