3565 search results - page 122 / 713 » Modeling a system controller for timing analysis |
116
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...
154
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...
135
click to vote
IANDC
2008
15 years 3 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
88
Voted
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
171
Voted
EDOC
2003
IEEE
15 years 8 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...