Sciweavers

2067 search results - page 228 / 414
» Logics of propositional control
Sort
View
TGC
2007
Springer
16 years 1 months ago
Access Control Based on Code Identity for Open Distributed Systems
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
Andrew Cirillo, James Riely
ICWE
2004
Springer
16 years 16 days ago
A Notation and Framework for Dialog Flow Control in Web Applications
The usability of web applications today often suffers from the page-based medium’s lack of intrinsic support for hierarchical dialog sequences mirroring the parent-child relatio...
Matthias Book, Volker Gruhn
KES
2004
Springer
16 years 16 days ago
Representing Knowledge in Controlled Natural Language: A Case Study
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
Rolf Schwitter
ICONIP
2008
15 years 8 months ago
Intelligent Control of Heating, Ventilating and Air Conditioning Systems
In this paper, we propose the use of weighted linguistic fuzzy rules in combination with a rule selection process to develop accurate fuzzy logic controllers dedicated to the inte...
Patrick Low Tiong Kie, Lau Bee Theng
WSC
1998
15 years 8 months ago
Modeling a Controlled Conveyor Network with Merging Configuration
Simulation with Arena is used to analyze a controlled conveyor network with merging configuration (CNMC). We use simulation to realize the logic in a queueingtheoretic model (QTM)...
Gary Gang Jing, W. David Kelton, José C. Ar...