Sciweavers

3161 search results - page 321 / 633
» Documenting framework behavior
Sort
View
HYBRID
1998
Springer
15 years 11 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta
180
Voted
FIDJI
2004
Springer
15 years 10 months ago
Modeling and Analysis of Exception Handling by Using UML Statecharts
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
Gergely Pintér, István Majzik
EVOW
2006
Springer
15 years 10 months ago
The Honeybee Search Algorithm for Three-Dimensional Reconstruction
Abstract. This paper investigates the communication system of honeybees with the purpose of obtaining an intelligent approach for threedimensional reconstruction. A new framework i...
Gustavo Olague, Cesar Puente
162
Voted
IEAAIE
2000
Springer
15 years 10 months ago
Modeling of, and Reasoning with Recurrent Events with Imprecise Durations
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
Stanislav Kurkovsky, Rasiah Loganantharaj
WSC
2008
15 years 9 months ago
Towards applications of particle filters in wildfire spread simulation
Wildfire propagation is a complex process influenced by many factors. Simulation models of wildfire spread, such as DEVS-FIRE, are important tools for studying fire behavior. This...
Feng Gu, Xiaolin Hu