2171 search results - page 352 / 435 » A Generic Process Algebra |
154
Voted
ICDT
2012
ACM
13 years 6 months ago
2012
ACM
We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union. We giv...
106
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
User authentication, which refers to the process of verifying the identity of a user, is becoming an important security requirement in various embedded systems. While conventional...
163
Voted
ANSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
165
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Ultra-wideband (UWB) impulse radio is a promising technique for low-power bio-medical communication systems. While a range of analog and digital UWB architectures exist...
183
Voted
VTC
2006
IEEE
15 years 9 months ago
2006
IEEE
— The estimation of correct triggers for handover in cellular networks belongs to the critical tasks for accurate network operation. The importance of seamless handover even rise...