2432 search results - page 437 / 487 » Cryptographic logical relations |
143
click to vote
IICAI
2007
15 years 5 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
152
click to vote
LREC
2008
15 years 5 months ago
2008
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...
133
click to vote
MKWI
2008
15 years 5 months ago
2008
: Today, electronic cross-company collaboration is about to gain significant momentum, but still shows weaknesses with respect to productivity, flexibility and quality: A lack of s...
138
click to vote
VAMOS
2008
Springer
15 years 5 months ago
2008
Springer
Software Product Lines aim at capturing the variability and commonality of a family of related programs that share a common set of assets. Variation points capture variability on ...
150
click to vote
AAAI
2004
15 years 5 months ago
2004
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting ar...