Sciweavers

1652 search results - page 229 / 331
» Matching Vector Codes
Sort
View
112
Voted
COMBINATORICS
1999
90views more  COMBINATORICS 1999»
15 years 2 months ago
On the Theory of Pfaffian Orientations. II. T-joins, k-cuts, and Duality of Enumeration
This is a continuation of our paper "A Theory of Pfaffian Orientations I: Perfect Matchings and Permanents". We present a new combinatorial way to compute the generating...
Anna Galluccio, Martin Loebl
112
Voted
TSE
2010
156views more  TSE 2010»
15 years 1 months ago
Discovering Services during Service-Based System Design Using UML
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...
George Spanoudakis, Andrea Zisman
138
Voted
OOPSLA
2010
Springer
15 years 16 days ago
A recommender for conflict resolution support in optimistic model versioning
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
Petra Brosch, Martina Seidl, Gerti Kappel
130
Voted
ICSE
2009
IEEE-ACM
15 years 11 days ago
Software Assumptions Failure Tolerance: Role, Strategies, and Visions
Abstract. At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. Wh...
Vincenzo De Florio
192
Voted
PADL
2011
Springer
14 years 5 months ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
Tomas Petricek, Don Syme