2152 search results - page 263 / 431 » On Automating the Calculus of Relations |
171
click to vote
COMPSAC
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
159
click to vote
GLOBECOM
2006
IEEE
16 years 14 days ago
2006
IEEE
— Automated detection of anomalies in network traffic is an important and challenging task. In this work we propose an automated system to detect volume-based anomalies in netwo...
151
click to vote
SYNASC
2006
IEEE
16 years 12 days ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
160
click to vote
SIGCSE
2006
ACM
16 years 11 days ago
2006
ACM
Plagiarism of material from the Internet is a widespread and growing problem. Computer science students, and those in other science and engineering courses, can sometimes get away...
179
click to vote
WOSP
2005
ACM
15 years 12 months ago
2005
ACM
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...