687 search results - page 84 / 138 » Observer forms for perspective systems |
122
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
106
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Mobile advertising has emerged as one of the most popular applications in mobile commerce, particularly in the form of SMS advertising campaigns. However, looking at the process o...
132
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— We study the issue of handling unknown inter-cell interference in multi-cell environments with antenna arrays at the base stations. First, we demonstrate that the presence of u...
130
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...