9503 search results - page 54 / 1901 » Authenticated System Calls |
155
click to vote
JSC
2010
15 years 3 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
145
click to vote
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
The Call Processing Language (CPL in short, RFC2824) is an XML-based language, which provides a flexible mean to create end-user services in the Internet Telephony (VoIP). Howeve...
139
click to vote
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
133
Voted
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
137
click to vote
ANOR
2004
15 years 4 months ago
2004
We present an iterative cutting plane method for minimizing staffing costs in a service system subject to satisfying acceptable service level requirements over multiple time perio...