452 search results - page 51 / 91 » date 2010 |
ESOP
2010
Springer
15 years 9 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...
HICSS
2010
IEEE
15 years 6 months ago
2010
IEEE
Although group support systems (GSS) can potentially have tremendous impacts in helping to solve the challenges faced by organizations and societies today, research to date has pr...
HICSS
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper asks: “How can we better understand the nature of entrepreneurship in the digital economy?” It posits the following arguments. First, entrepreneurship in the digita...
HICSS
2010
IEEE
15 years 6 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...
TAMC
2010
Springer
15 years 4 months ago
2010
Springer
Unless we resolve the P vs NP question, we are unable to say whether there is an algorithm (acceptor) that accepts Boolean tautologies in polynomial time and does not accept non-ta...