1740 search results - page 145 / 348 » A Digital Archive of Research Papers in Computer Science |
172
click to vote
PODC
1991
ACM
15 years 10 months ago
1991
ACM
d abstract) Maurice Herlihy Digital Equipment Corporation Cambridge Research Laboratory One Kendall Square Cambridge MA, 02139 Digital Equipment Corporation Cambridge Research Lab ...
220
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
169
click to vote
LAWEB
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents the results of a qualitative research whose objective was to broaden the understanding on the participation of youngsters and adolescents on Internet-based soc...
177
click to vote
SIGECOM
2006
ACM
16 years 14 days ago
2006
ACM
In traditional game theory, players are typically endowed with exogenously given knowledge of the structure of the game—either full omniscient knowledge or partial but fixed in...
191
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...