Sciweavers

2123 search results - page 44 / 425
» Composition of Cyber-Physical Systems
Sort
View
155
Voted
WWW
2005
ACM
16 years 4 months ago
Middleware services for web service compositions
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
Anis Charfi, Mira Mezini
APSEC
2008
IEEE
15 years 10 months ago
Management of Composites in Software Engineering Environments
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
Jacky Estublier, Germán Vega, Thomas Levequ...
122
Voted
EDOC
2007
IEEE
15 years 10 months ago
Providing Support for Model Composition in Metamodels
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
Robert B. France, Franck Fleurey, Raghu Reddy, Ben...
FOCS
2009
IEEE
15 years 10 months ago
Linear Systems over Composite Moduli
We study solution sets to systems of generalized linear equations of the form ℓi(x1, x2, · · · , xn) ∈ Ai (mod m) where ℓ1, . . . , ℓt are linear forms in n Boolean var...
Arkadev Chattopadhyay, Avi Wigderson
104
Voted
HYBRID
2007
Springer
15 years 10 months ago
Foundations of a Compositional Interchange Format for Hybrid Systems
D. A. van Beek, Michel A. Reniers, Ramon R. H. Sch...