4211 search results - page 538 / 843 » A formal approach to MASQ |
166
click to vote
ICICS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
195
click to vote
IFM
2007
Springer
16 years 27 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
165
click to vote
ROBOCUP
2007
Springer
16 years 26 days ago
2007
Springer
According to the expert literature on (human) soccer, e.g., the tactical behavior of a soccer team should differ significantly with respect to the tactics and strategy of the oppo...
166
click to vote
SAMT
2007
Springer
16 years 26 days ago
2007
Springer
—Broadcasting of media events is a real-time action demanding reliable just in time decisions based on the current content of incoming video streams and the availability of backg...
152
Voted
ICALT
2006
IEEE
16 years 24 days ago
2006
IEEE
Competence-based approaches in the field of formal or non-formal education and training are becoming more common and appear to offer the opportunity to develop programmes that mee...