1128 search results - page 66 / 226 » Little Engines of Proof |
95
Voted
WIRTSCHAFTSINFORMATI
2007
15 years 1 months ago
2007
Software evolution is an essential concept underlying the engineering of corporate portals. Due to the complexity of such systems, it requires great effort and is not advisable to...
ESWS
2010
Springer
15 years 1 months ago
2010
Springer
Many systems exist for community formation in extensions of traditional Web environments but little work has been done for forming and maintaining communities in the more dynamic e...
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
211
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
90
Voted
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...