3605 search results - page 80 / 721 » Analysis and Applications of the XDI model |
110
click to vote
MODELS
2010
Springer
14 years 9 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
ISMVL
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
101
click to vote
ISI
2008
Springer
14 years 10 months ago
2008
Springer
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...
141
click to vote
TCAD
2010
14 years 5 months ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
170
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
IEEE 802.15.4 multi-hop wireless networks are an important communication infrastructure for many applications, including industrial control, home automation, and smart grids. Exist...