Sciweavers

930 search results - page 62 / 186
» Integrating dialog modelling and application development
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
IJCNN
2007
IEEE
14 years 3 months ago
Theta Neuron Networks: Robustness to Noise in Embedded Applications
- In this paper, we train a one-layer Theta Neuron Network (TNN) to perform a Braitenberg obstacle avoidance algorithm on a Khepera robot. The Theta neuron model is more biological...
Sam McKennoch, Preethi Sundaradevan, Linda G. Bush...
ICEIS
2003
IEEE
14 years 2 months ago
Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language
Abstract: Enterprise Application Integration (EAI) is a challenging area that is attracting growing attention from the software industry and the research community. A landscape of ...
Petia Wohed, Erik Perjons, Marlon Dumas, Arthur H....
ECWEB
2005
Springer
102views ECommerce» more  ECWEB 2005»
14 years 2 months ago
Improving Web Design Methods with Architecture Modeling
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
Santiago Meliá, Jaime Gómez, Nora Ko...
GIS
2002
ACM
13 years 8 months ago
Calibration of stochastic cellular automata: the application to rural-urban land conversions
Despite the recognition of cellular automata (CA) as a exible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent eVorts to...
Fulong Wu