9018 search results - page 309 / 1804 » 3D-Brain Model Software |
179
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...
137
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
148
Voted
BELL
2000
15 years 4 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
128
click to vote
ACSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
125
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Configuration and change request management systems offer valuable information for the assessment of process quality characteristics. The definition of appropriate metrics that ad...