Sciweavers

2123 search results - page 44 / 425
» Composition of Cyber-Physical Systems
Sort
View
WWW
2005
ACM
16 years 6 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
16 years 20 days 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...
EDOC
2007
IEEE
16 years 16 days 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
16 years 28 days 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
HYBRID
2007
Springer
16 years 10 days ago
Foundations of a Compositional Interchange Format for Hybrid Systems
D. A. van Beek, Michel A. Reniers, Ramon R. H. Sch...