4048 search results - page 603 / 810 » Design Science, Engineering Science and Requirements Enginee... |
129
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
115
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
151
click to vote
AOSD
2005
ACM
15 years 9 months ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
125
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
133
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...