Sciweavers

930 search results - page 62 / 186
» Integrating dialog modelling and application development
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 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
15 years 12 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...
144
Voted
ICEIS
2003
IEEE
15 years 11 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»
15 years 11 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
15 years 5 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