161 search results - page 15 / 33 » YVision: A General Purpose Software Composition Framework |
EMSOFT
2005
Springer
14 years 28 days ago
2005
Springer
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
XML Schema documents are defined using an XML syntax, which means that the idea of generating schema documentation through standard XML technologies is intriguing. We present X2Do...
FSTTCS
2009
Springer
14 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
RV
2009
Springer
13 years 12 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...