379 search results - page 70 / 76 » Visualisation of Variability in Software Product Line Engine... |
152
Voted
KBSE
2008
IEEE
16 years 6 days ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
122
Voted
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...
187
click to vote
CCE
2011
15 years 25 days ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
158
Voted
GPCE
2007
Springer
15 years 12 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
165
Voted
APSEC
2008
IEEE
16 years 9 days ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...