Search Sciweavers | Sciweavers

2123 search results - page 64 / 425

» Composition of Cyber-Physical Systems

142

click to vote

KES
2005
Springer

83views Information Technology» more KES 2005»

A Distributed Approach to Musical Composition

15 years 11 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 »

174

click to vote

DLOG
1997

128views Automated Reasoning» more DLOG 1997»

Experiments with the DFL Hybrid System

15 years 7 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 »

181

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 6 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 »

127

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

16 years 18 days ago

Download liris.cnrs.fr

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

claim paper