1975 search results - page 354 / 395 » Property analysis and design understanding |
112
click to vote
MOBIDE
1999
ACM
15 years 6 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
110
click to vote
ATAL
1999
Springer
15 years 6 months ago
1999
Springer
Multi-agent system research is concerned with the issues surrounding the performance of collections of interacting agents. A major concern, therefore, is with the design of the dec...
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
An adaptive recommendation service seeks to adapt to its users, providing increasingly personalized recommendations over time. In this paper we introduce the \Fab" adaptive W...
109
click to vote
FOSAD
2000
Springer
15 years 5 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
121
click to vote
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
In modern circuit design, it is difficult to provide reliable parametric yield prediction since the real distribution of process data is hard to measure. Most existing approaches ...