Sciweavers

2067 search results - page 228 / 414
» Logics of propositional control
Sort
View
TGC
2007
Springer
16 years 20 days 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
15 years 12 months 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
15 years 12 months 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...