3706 search results - page 144 / 742 » OntoComP System Description |
141
click to vote
ESOA
2006
15 years 8 months ago
2006
Holonic Multi-Agent Systems (HMAS) are a convenient way to engineer complex and open systems. In such systems, agents have to be able to self-organize to satisfy their goals. Our w...
152
click to vote
MST
2008
15 years 5 months ago
2008
We study finite bisimulations of dynamical systems in Rn defined by Pfaffian maps. The pure existence of finite bisimulations for a more general class of o-minimal systems was show...
147
click to vote
IAT
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a web-based system to monitor the quality of the meta-data used to describe content in web portals. The system implements meta-data analysis using statistical, visualiz...
130
click to vote
ICFEM
2003
Springer
15 years 10 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
140
Voted
BMAS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...