703 search results - page 62 / 141 » Fundamentals of Session Types |
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Cell sorting is a fundamental phenomenon in morphogenesis, which is the process that leads to shape formation in living organisms. The sorting of heterotypic cell populations is p...
140
click to vote
JSW
2008
15 years 3 months ago
2008
This paper describes a web-based interactive framework for the analysis and visualization of gene expressions and protein structures. The formulation of the proposed framework was ...
150
Voted
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
143
Voted
MUM
2009
ACM
15 years 10 months ago
2009
ACM
There are academic and commercial drivers for contextawareness to play a prominent role in the future of mobile services. Implementing a complete model of context remains an unsol...
113
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...