2171 search results - page 70 / 435 » A Generic Process Algebra |
115
click to vote
IJSI
2008
15 years 23 days ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
107
Voted
SIGCOMM
2003
ACM
15 years 6 months ago
2003
ACM
Path vector protocols are currently in the limelight, mainly because the inter-domain routing protocol of the Internet, BGP (Border Gateway Protocol), belongs to this class. In th...
130
click to vote
IMA
2007
Springer
15 years 7 months ago
2007
Springer
In spite of growing importance of AES, the Data Encryption Standard is by no means obsolete. DES has never been broken from the practical point of view. The triple DES is believed ...
138
Voted
ISSAC
1997
Springer
1997
Springer
The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming
15 years 4 months ago
IP problems characterise combinatorial optimisation problems where conventional numerical methods based on the hill-climbing technique can not be directly applied. Conventional me...
83
Voted
ICALT
2006
IEEE
15 years 6 months ago
2006
IEEE
Future CSCL technologies are described by the community as flexible, tailorable, and appropriate for various collaborative settings, conditions and contexts. This paper describes ...