2404 search results - page 116 / 481 » Postmodernism and Control Engineering |
170
click to vote
EDOC
2006
IEEE
16 years 12 days ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
148
click to vote
EUROMICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
MANET environments suffer from changing connectivity conditions and radio contention among stations that conform it. Despite the several on-going endeavors, no simple and effectiv...
128
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
159
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
137
click to vote
ICESS
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...