1950 search results - page 42 / 390 » Lambda-Free Logical Frameworks |
VAMOS
2007
Springer
15 years 4 months ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
EUSFLAT
2009
14 years 7 months ago
2009
The word Interpretability is becoming more and more frequent in the fuzzy literature. It is admitted as the main advantage of fuzzy systems and it should be given a main role in fu...
191
click to vote
AMCS
2011
14 years 5 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
105
click to vote
TMC
2012
13 years 10 days ago
2012
—Characterizing the performance of ad hoc networks is one of the most intricate open challenges; conventional ideas based on information-theoretic techniques and inequalities hav...
CADE
2003
Springer
15 years 10 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...