5550 search results - page 310 / 1110 » Different Approaches to Proof Systems |
167
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
167
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
Data and computations of a CAD system have been wrapped by a mediator system using CORBA's IIOP Protocol. This allows ad hoc declarative mediator queries to be translated into...
163
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In today's world password compromise by some adversaries is common for different purpose. In ICC 2008 Lei et al. proposed a new user authentication system based on the virtual...
134
click to vote
TC
2002
15 years 6 months ago
2002
: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...
173
Voted
ACL
2009
15 years 4 months ago
2009
User simulations are shown to be useful in spoken dialog system development. Since most current user simulations deploy probability models to mimic human user behaviors, how to se...