10159 search results - page 1709 / 2032 » System Design Validation Using Formal Models |
184
click to vote
POS
1994
Springer
15 years 10 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
186
click to vote
VVG
2003
15 years 8 months ago
2003
We describe an innovative system designed for museums to create, manage and present multimedia based representations of museum artefacts in virtual exhibitions both inside and out...
174
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Transmitter Leakage has a significant impact on the system performance in mobile devices using zero-IF receivers. In this contribution, the statistical properties of the Tx Lea...
160
click to vote
ISPASS
2005
IEEE
16 years 9 days ago
2005
IEEE
We have previously presented Qsilver, a flexible simulation system for graphics architectures. In this paper we describe our extensions to this system, which we use— instrument...
159
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
This paper proposes a functional ontology of reputation for agents. The goal of this ontology is twofold. First, to put together the broad knowledge about reputation produced in s...