9626 search results - page 1746 / 1926 » Invariant Based Programming |
125
Voted
TCOM
2010
15 years 28 days ago
2010
Abstract—This paper considers the problem of Gaussian symbols detection in MIMO systems in the presence of channel estimation errors. Under this framework we develop a computatio...
108
Voted
TCS
2010
15 years 28 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
112
Voted
TLT
2010
15 years 28 days ago
2010
— A key design goal of mobile learning is that its built-in experiences are enjoyable and proactive, empowering the learner with the knowledge and ability to self-manage. This im...
126
Voted
UTP
2010
15 years 28 days ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
198
Voted
VL
2010
IEEE
15 years 28 days ago
2010
IEEE
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...