5339 search results - page 489 / 1068 » Controllable Delay-Insensitive Processes |
203
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Critical infrastructures like the power grid are essentially physical processes controlled by electronic devices. In the last decades, these electronic devices started to be contr...
181
Voted
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
183
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Role-based provisioning has been adopted as a standard component in leading Identity Management products due to its low administration cost. However, the cost of adjusting existin...
164
Voted
CDC
2008
IEEE
16 years 1 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...
144
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Ionic polymer-metal composites (IPMCs) form an important category of electroactive polymers and have many potential applications in biomedical, robotic and micro/nano manipulation ...