Sciweavers

2123 search results - page 314 / 425
» Composition of Cyber-Physical Systems
Sort
View
113
Voted
INFORMATICALT
2008
93views more  INFORMATICALT 2008»
15 years 1 months ago
Viewcharts: Syntax and Semantics
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
Ayaz Isazadeh, Jaber Karimpour
JGO
2008
75views more  JGO 2008»
15 years 1 months ago
On the second conjugate of several convex functions in general normed vector spaces
When dealing with convex functions defined on a normed vector space X the biconjugate is usually considered with respect to the dual system (X, X ), that is, as a function defined...
Constantin Zalinescu
142
Voted
JNW
2008
164views more  JNW 2008»
15 years 1 months ago
Improving Multi-Agent Based Resource Coordination in Peer-to-Peer Networks
The distributed nature of peer-to-peer networks offers a solid ground for the deployment of environments where multiple agents, managing several resources, can cooperate in pursuin...
António Luis Lopes, Luís Miguel Bote...
97
Voted
JSW
2008
105views more  JSW 2008»
15 years 1 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
ENTCS
2007
89views more  ENTCS 2007»
15 years 1 months ago
Quantum Programs With Classical Output Streams: (Extended Abstract)
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
Dominique Unruh