Sciweavers

520 search results - page 56 / 104
» Contributing to eclipse: A case study
Sort
View
FOCS
2005
IEEE
15 years 5 months ago
Beyond VCG: Frugality of Truthful Mechanisms
We study truthful mechanisms for auctions in which the auctioneer is trying to hire a team of agents to perform a complex task, and paying them for their work. As common in the ï¬...
Anna R. Karlin, David Kempe, Tami Tamir
HICSS
2003
IEEE
138views Biometrics» more  HICSS 2003»
15 years 5 months ago
Can IT Help Government to Restore Public Trust?: Declining Public Trust and Potential Prospects of IT in the Public Sector
During the past four decades, public trust in governments has continued to diminish due to various administrative, political, socio-cultural, economic, and mass media causes. Focu...
M. Jae Moon
ISSS
2002
IEEE
124views Hardware» more  ISSS 2002»
15 years 4 months ago
Timing Analysis of Embedded Software for Speculative Processors
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
Abhik Roychoudhury, Xianfeng Li, Tulika Mitra
HASE
1998
IEEE
15 years 4 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
GROUP
2007
ACM
15 years 3 months ago
The story of a working workflow management system
This work presents experiences with the adopting of a workflow management system in a large financial institution. We describe the gradual evolution of a traditional work process,...
Steen Brahe, Kjeld Schmidt