7529 search results - page 1138 / 1506 » The Modula-3 Type System |
189
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
As the use of social networking websites becomes increasingly common, the types of social relationships managed on these sites are becoming more numerous and diverse. This researc...
164
click to vote
ASSETS
2006
ACM
15 years 10 months ago
2006
ACM
Assistive technology for wayfinding will significantly improve the quality of life for many individuals with cognitive impairments. The user interface of such a system is as cruci...
197
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
180
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
198
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...