6431 search results - page 917 / 1287 » Model Building by Resolution |
134
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
134
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
141
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
135
click to vote
ICML
2009
IEEE
15 years 11 months ago
2009
IEEE
Physics-based simulation codes are widely used in science and engineering to model complex systems that would be infeasible to study otherwise. Such codes provide the highest-fid...
155
click to vote
DSRT
2009
IEEE
15 years 11 months ago
2009
IEEE
—To support the evacuation process of crowds from emergency situations, we have developed a wearable device, LifeBelt, for vibro tactile guidance of individuals in panic towards ...