4794 search results - page 511 / 959 » Trust-Based Mechanism Design |
208
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
182
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. A...
174
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
193
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
182
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
The importance of large-scale electrical business processing is increasing today as recent Internet technologies build on the basic infrastructure. Simply integrating existing tec...