6431 search results - page 917 / 1287 » Model Building by Resolution |
172
click to vote
ICFP
2006
ACM
16 years 6 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...
165
click to vote
ICWS
2009
IEEE
16 years 3 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...
184
click to vote
SOSP
2009
ACM
16 years 3 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...
163
click to vote
ICML
2009
IEEE
16 years 1 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...
193
click to vote
DSRT
2009
IEEE
16 years 1 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 ...