Sciweavers

674 search results - page 87 / 135
» Simulating continuous fuzzy systems
Sort
View
ICFEM
2007
Springer
15 years 7 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
INFOCOM
2006
IEEE
15 years 7 months ago
Repeated-Game Modeling of Multicast Overlays
— This paper studies multicast application overlay networks in a repeated-game framework. In these overlays, users have both the motivation and the means to alter their position...
Mike Afergan, Rahul Sami
PERVASIVE
2005
Springer
15 years 7 months ago
Parasitic Mobility for Pervasive Sensor Networks
Distributed sensor networks offer many new capabilities for contextually monitoring environments. By making such systems mobile, we increase the application-space for the distribut...
Mathew Laibowitz, Joseph A. Paradiso
ICCS
2004
Springer
15 years 7 months ago
O'SOAP - A Web Services Framework for DDDAS Applications
Because of the continued development of web services protocols and the apparent convergence of Grid services with web services, it is becoming evident that web services will be an ...
Keshav Pingali, Paul Stodghill
GECCO
2003
Springer
322views Optimization» more  GECCO 2003»
15 years 6 months ago
AntClust: Ant Clustering and Web Usage Mining
Abstract. In this paper, we propose a new ant-based clustering algorithm called AntClust. It is inspired from the chemical recognition system of ants. In this system, the continuou...
Nicolas Labroche, Nicolas Monmarché, Gilles...