3799 search results - page 520 / 760 » An Engineering Approach to Formal Methods |
170
click to vote
WIKIS
2006
ACM
16 years 17 days ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
221
click to vote
IHIS
2005
ACM
16 years 5 days ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
177
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
175
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
190
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...