1398 search results - page 179 / 280 » Ensuring Properties of Interaction Systems |
197
click to vote
HASE
1997
IEEE
15 years 10 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
179
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
In this paper we explore the interaction between a dynamic model of the power transmission system (OPA) and a simple economic model of power generation development. Despite the si...
164
click to vote
COLING
1996
15 years 7 months ago
1996
Statistical language models play a major role in current speech recognition systems. Most of these models have focussed on relatively local interactions between words. Recently, h...
173
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
150
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Click-based graphical passwords have attractive usability properties, such as cueing and good memorability. However, image size and number of click-points in each password signifi...