4323 search results - page 251 / 865 » Callback Implementations in C |
151
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
127
Voted
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we describe the opportunistic localization, which enables localization services that works seamlessly in heterogeneous environments including indoors as oppose to G...
123
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents an architecture for a memory model that facilitates versatile reasoning mechanisms over the beliefs stored in an agent’s belief base. Based on an approach fo...
124
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
Health professions education has moved away from process-based curricula to competency-based curricula. Machine readable and processable health care competencies are still embryon...
116
click to vote
ICMB
2007
IEEE
15 years 10 months ago
2007
IEEE
The mobile enterprise is an emerging organizational form that has resulted in a paradigm shift of how business is done. However, only little theoretical work has been done to expl...