2024 search results - page 106 / 405 » A Formal Model of Multi-agent Computations |
235
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
We study the problem of efficiently computing diverse query results in online shopping applications, where users specify queries through a form interface that allows a mix of stru...
134
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
106
Voted
DSVIS
1995
Springer
15 years 7 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
121
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
108
click to vote
ENTCS
2007
15 years 3 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...