Sciweavers

4434 search results - page 128 / 887
» On the Composition of Hybrid Systems
Sort
View
HYBRID
2003
Springer
15 years 11 months ago
On Systematic Simulation of Open Continuous Systems
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf S...
TC
1998
15 years 6 months ago
A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
Sheng Uei Guan, Hsiao-Yeh Yu, Jen-Shun Yang
KES
2005
Springer
15 years 12 months ago
Using Recommendation to Improve Negotiations in Agent-Based Systems
: In this paper we present research works on non-intuitive and low-efficient negotiations between agents in agent based system. We find recommendation techniques as a suitable meth...
Mateusz Lenar, Janusz Sobecki
IPPS
2003
IEEE
15 years 11 months ago
Architectural Frameworks for MPP Systems on a Chip
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
David L. Andrews, Douglas Niehaus