3229 search results - page 61 / 646 » Theories with the Independence Property |
120
click to vote
ESEC
1997
Springer
15 years 4 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
NDSS
2006
IEEE
15 years 5 months ago
2006
IEEE
For many applications—including recognizing malware variants, determining the range of system versions vulnerable to a given attack, testing defense mechanisms, and filtering m...
JISBD
2001
15 years 1 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
127
click to vote
ATAL
2011
Springer
13 years 12 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
SODA
2010
ACM
15 years 9 months ago
2010
ACM
There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this com...