4224 search results - page 309 / 845 » Reasoning about Choice |
196
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
141
Voted
GROUP
2005
ACM
16 years 1 months ago
2005
ACM
We describe results from a survey of employees at Microsoft about how they manage personal and household scheduling. We saw a much greater use of digital calendars than we expecte...
187
click to vote
ICALP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
199
Voted
SAC
2004
ACM
16 years 26 days ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
164
Voted
CSL
2004
Springer
16 years 25 days ago
2004
Springer
We present a novel third-order theory W1 1 of bounded arithmetic suitable for reasoning about PSPACE functions. This theory has the advantages of avoiding the smash function symbol...