2044 search results - page 170 / 409 » System theory for numerical analysis |
171
click to vote
WOTUG
2007
15 years 8 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
197
Voted
ACMDIS
2006
ACM
16 years 1 months ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
208
click to vote
VALUETOOLS
2006
ACM
16 years 1 months ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
187
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
—With a widespread increase in the number of mobile wireless systems and applications, the need for location aware services has risen at a very high pace in the last few years. M...
222
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...