161 search results - page 15 / 33 » YVision: A General Purpose Software Composition Framework |
67
Voted
EMSOFT
2005
Springer
15 years 3 months 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...
98
Voted
ICSE
2010
IEEE-ACM
15 years 1 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...
78
Voted
WWW
2007
ACM
15 years 10 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...
70
Voted
FSTTCS
2009
Springer
15 years 4 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...
117
click to vote
RV
2009
Springer
15 years 2 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...