3299 search results - page 145 / 660 » A general mathematics of names |
149
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
300
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
This article presents an overview of the Essex Wizards 2001 team participated in the RoboCup 2001 simulator league. Four major issues have been addressed, namely a generalized appr...
167
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We show that termination of a simple class of linear loops over the integers is decidable. Namely we show that termination of deterministic linear loops is decidable over the integ...
126
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
180
click to vote
WICON
2008
15 years 7 months ago
2008
In this paper we compare different authentication techniques that may be used in order to reduce the time and resources required to perform a handover: namely, re-authentication a...