2413 search results - page 322 / 483 » Understanding the problem |
129
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
121
Voted
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
119
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
121
Voted
KI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
122
Voted
MHCI
2004
Springer
15 years 9 months ago
2004
Springer
The study reported here investigates the design and evaluation of a gesturecontrolled, spatially-arranged auditory user interface for a mobile computer. Such an interface may prov...