4036 search results - page 518 / 808 » Formal Methods |
194
click to vote
DEXAW
2006
IEEE
16 years 21 days ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
160
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
160
click to vote
GW
2005
Springer
16 years 5 days ago
2005
Springer
Simulating realistic human-like figures is still a challenging task when dynamics is involved. For example, making a virtual human jump to a given position requires to control the...
179
click to vote
KR
2004
Springer
16 years 12 hour ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
178
click to vote
SACRYPT
2004
Springer
16 years 3 hour ago
2004
Springer
A general method to secure cryptographic algorithm implementations against side-channel attacks is the use of randomization techniques and, in particular, masking. Roughly speaking...