4099 search results - page 360 / 820 » A Framework for Interactive Proof |
280
click to vote
MSWIM
2006
ACM
16 years 21 days ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...
176
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we focus on an important source of problem– difficulty in (online) dynamic optimization problems that has so far received significantly less attention than the tr...
155
click to vote
SRDS
2003
IEEE
16 years 4 hour ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...
160
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
158
click to vote
IWFM
2003
15 years 8 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...