Search Sciweavers | Sciweavers

2123 search results - page 64 / 425

» Composition of Cyber-Physical Systems

119

Voted

KES
2005
Springer

83views Information Technology» more KES 2005»

A Distributed Approach to Musical Composition

15 years 9 months ago

Download eprints.ecs.soton.ac.uk

Current techniques for automated composition use a single algorithm, focusing on one aspect of musical generation. In our system we make use of several algorithms, distributed usin...

Michael O. Jewell, Lee Middleton, Mark S. Nixon, A...

claim paper

Read More »

147

Voted

DLOG
1997

128views Automated Reasoning» more DLOG 1997»

Experiments with the DFL Hybrid System

15 years 5 months ago

Download www.inf.unibz.it

Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...

Mira Balaban, Adi Eyal

claim paper

Read More »

146

click to vote

TC
1998

137views Information Technology» more TC 1998»

A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems

15 years 3 months ago

Download cimic.rutgers.edu

—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

claim paper

Read More »

click to vote

ICEIS
2007
IEEE

112views Information Technology» more ICEIS 2007»

Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets

15 years 10 months ago

Download liris.cnrs.fr

Khouloud Boukadi, Chirine Ghedira, Zakaria Maamar,...

claim paper

Read More »