1653 search results - page 259 / 331 » Computer science and game theory |
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
A new form of computer mediated communication that promises to revolutionize the way organizations communicate is internal corporate blogs. However, the academic literature on thi...
HICSS
2008
IEEE
15 years 5 months ago
2008
IEEE
Although still a relatively new undergraduate course of study at most colleges and universities, specialized degree programs in computer forensics and digital investigations are n...
LICS
2008
IEEE
15 years 5 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...