2116 search results - page 216 / 424 » Resource Analysis by Sup-interpretation |
137
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...
139
click to vote
SC
2004
ACM
15 years 9 months ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...
138
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
In-depth analysis of network security vulnerability must consider attacker exploits not just in isolation, but also in combination. The general approach to this problem is to comp...
149
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
With the recent advances in communications technologies and decentralization of work practices, there has been an increase in distributed, remote, computerized work environments. I...
178
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...