4340 search results - page 832 / 868 » Formal Methods and Cryptography |
130
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
136
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
129
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
128
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
174
Voted
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...