7124 search results - page 1265 / 1425 » Programming Languages and Operating Systems |
106
click to vote
NSPW
2006
ACM
15 years 9 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
117
click to vote
HPDC
1997
IEEE
15 years 7 months ago
1997
IEEE
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...
149
Voted
PVLDB
2008
15 years 1 months ago
2008
Queries, or calls to stored procedures/user-defined functions are often invoked multiple times, either from within a loop in an application program, or from the where/select claus...
139
Voted
SAT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
123
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
The proportion of complex distributed real-time embedded (DRE) systems made up of commercial-off-the-shelf (COTS) hardware and software is increasing significantly in response to...