13717 search results - page 2345 / 2744 » Control Systems |
124
click to vote
BIRTHDAY
1991
Springer
15 years 8 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
129
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
The problem of supporting the secure execution of potentially malicious third-party applications has received a considerable amount of attention in the past decade. In this paper ...
132
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
— Mobile handheld devices such as PDAs and smartphones are increasingly being used by service providers to deliver application functionality similar to that found in traditional ...
145
click to vote
COLCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
CDMA technology represents an attractive choice for various wireless ad hoc networks applications, due to its appealing properties, such as resistance to jamming and interference,...
107
click to vote
ICALT
2003
IEEE
15 years 10 months ago
2003
IEEE
The different ways in which concepts within computer networks are understood by master level students who take an internationally distributed project-based course have been identi...