2364 search results - page 261 / 473 » An Engine for Computing Well-Founded Models |
150
Voted
CAD
2005
Springer
15 years 6 months ago
2005
Springer
Performance of various functions of the tissue structure depends on porous scaffold microstructures with specific porosity characteristics that influence the behavior of the incor...
167
Voted
GRID
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present the MASSIVE project that aims to use Grid technology to establish an enabling environment for distributed simulation and visualization of large-scale scie...
163
click to vote
SEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
157
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
Guidebots, or animated pedagogical agents, can enhance interactive learning environments by promoting deeper learning and improve the learner's subjective experience. Guidebo...
167
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...