5726 search results - page 172 / 1146 » Supporting annotations on relations |
86
Voted
JSS
2006
15 years 19 days ago
2006
Software architecture evaluation is an effective means of addressing quality related issues early in the software development lifecycle. Scenario-based approaches to evaluate arch...
89
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
129
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
If you have ever watched movies or television shows, you know how easy it is to tell the good characters from the bad ones. Little, however, is known “whether” or “how” com...
83
Voted
ITP
2010
15 years 4 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
102
click to vote
CRIWG
2007
15 years 2 months ago
2007
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...