2272 search results - page 259 / 455 » Capture Complexity by Partition |
120
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
169
click to vote
ENTCS
2006
15 years 3 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
108
click to vote
CONSTRAINTS
2007
15 years 3 months ago
2007
We study the “inter-distance constraint”, also known as the global minimum distance constraint, that ensures that the distance between any pair of variables is at least equal ...
137
Voted
JIKM
2008
15 years 3 months ago
2008
Abstract. Current theories of knowledge management postulate a cycle of knowledge creation, refinement and implementation that hinges on the transformation of tacit, or practical, ...
134
click to vote
JUCS
2008
15 years 3 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...