5184 search results - page 7 / 1037 » Computer support for mechatronic control system design |
SAC
2008
ACM
13 years 7 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
SPC
2005
Springer
14 years 1 months ago
2005
Springer
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...
CSCW
2000
ACM
13 years 12 months ago
2000
ACM
Environmental factors affecting shared spaces are typically designed to appeal to the broadest audiences they are expected to serve, ignoring the preferences of the people actuall...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
USENIX
2000
13 years 9 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...