5744 search results - page 789 / 1149 » System level design, a VHDL based approach |
172
click to vote
ASYNC
2007
IEEE
15 years 11 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
186
click to vote
TSMC
2008
15 years 6 months ago
2008
Modeling and predicting of mental workload are among the most important issues in studying human performance in complex systems. Ample research has shown that the amplitude of the ...
191
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
214
click to vote
EUROSSC
2006
Springer
15 years 10 months ago
2006
Springer
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
181
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes a method for controlling the behavior of mobile agent-system entities through the allocation of privileges. Privileges refer to policy rules that govern the a...