167 search results - page 6 / 34 » The central role of mathematical logic in computer science |
IWFM
1998
13 years 8 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Although science is becoming increasingly collaborative, there are remarkably few success stories of online collaborations between professional scientists that actually result in ...
SIGITE
2005
ACM
14 years 28 days ago
2005
ACM
Early in its history as an academic discipline, depth in computer programming was a primary distinguishing factor between IT and older computing disciplines, such as computer scie...
MMMACNS
2005
Springer
14 years 26 days ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...