2373 search results - page 231 / 475 » Towards a Model of Computer Systems Research |
166
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
Researchers have previously looked into the problem of determining if a given set of security hardening measures can effectively make a networked system secure. Many of them also...
198
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
164
click to vote
IANDC
2006
15 years 6 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
163
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
The Army’s push towards developing highly flexible military teams that combine manned and unmanned units requires significant advances in the intelligence of the unmanned units ...
153
click to vote
IEEESP
2007
15 years 6 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...