608 search results - page 90 / 122 » Tests, Proofs and Refinements |
86
Voted
RE
2006
Springer
15 years 13 days ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
89
Voted
MTA
2007
15 years 12 hour ago
2007
Interface toolkits in ordinary application areas let average programmers rapidly develop software resembling other standard applications. In contrast, toolkits for novel and perhap...
117
Voted
PR
2008
14 years 12 months ago
2008
We describe an annealing procedure that computes the normalized N-cut of a weighted graph G. The first phase transition computes the solution of the approximate normalized 2-cut p...
119
Voted
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
We prove that fixed-point logic with counting captures polynomial time on all classes of graphs with excluded minors. That is, for every class C of graphs such that some graph H is...
129
Voted
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...