1999 search results - page 200 / 400 » Dependently Typed Grammars |
155
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
SSTA has received a considerable amount of attention in recent years. However, it is a general rule that any approach can only be as accurate as the underlying models. Thus, varia...
175
click to vote
IPPS
2008
IEEE
16 years 27 days ago
2008
IEEE
— When an adaptive software component is employed to select the best-performing implementation for a communication operation at runtime, the correctness of the decision taken str...
150
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
—Call holding times in telephony networks are commonly approximated by exponential distributions to facilitate traffic engineering. However, for traffic engineering of cellular n...
192
click to vote
ICANN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Feedback circuits are important for understanding the emergence of patterns of neural activity. In this contribution we study how a delayed circuit representing a recurre...
160
click to vote
OTM
2007
Springer
16 years 18 days ago
2007
Springer
The entities participating in a context-aware service platform need to establish and manage trust relationships in order to assert different trust aspects including identity provis...