5205 search results - page 365 / 1041 » Tilings and model theory |
202
Voted
CCS
2005
ACM
16 years 11 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
264
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far-away plane...
164
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
182
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
183
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...