2514 search results - page 492 / 503 » The use of industrial-strength formal methods |
166
click to vote
PLDI
2009
ACM
16 years 26 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
154
click to vote
WWW
2009
ACM
16 years 26 days ago
2009
ACM
We consider the problem of template-independent news extraction. The state-of-the-art news extraction method is based on template-level wrapper induction, which has two serious li...
161
click to vote
ICRA
2009
IEEE
16 years 21 days ago
2009
IEEE
— Recent research has shown that robots can model their world with Multi-Level (ML) surface maps, which utilize ‘patches’ in a 2D grid space to represent various environment ...
177
click to vote
ATAL
2009
Springer
16 years 19 days ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
158
click to vote
ATAL
2009
Springer
16 years 19 days ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...