2123 search results - page 86 / 425 » Composition of Cyber-Physical Systems |
142
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
161
click to vote
WICSA
2004
15 years 5 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
150
click to vote
GROUP
2010
ACM
15 years 2 months ago
2010
ACM
Online social production communities allow efficient construction of valuable and high-quality information sources. To be successful, community members must be effective at collab...
158
click to vote
JUCS
2008
15 years 4 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
143
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...