1124 search results - page 144 / 225 » Refined quorum systems |
160
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
164
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
125
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper presents a framework for analyzing and designing decision-making in the context of an electricity industry or, more broadly, a stationary energy sector. It uses that fr...
170
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
150
click to vote
HICSS
2008
IEEE
16 years 26 days ago
2008
IEEE
How does “self-governance” happen in Wikipedia? Through in-depth interviews with eleven individuals who have held a variety of responsibilities in the English Wikipedia, we ob...