|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 377 occurrences of 292 keywords
|
|
|
Results
Found 739 publication records. Showing 738 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
94 | Rong Su 0001, Walter Murray Wonham |
Supervisor Reduction for Discrete-Event Systems. |
Discret. Event Dyn. Syst. |
2004 |
DBLP DOI BibTeX RDF |
supervisory control theory, control congruence, algorithmic supervisor reduction, minimal supervisor size estimation |
61 | Roberto Ziller, Klaus Schneider 0001 |
Combining supervisor synthesis and model checking. |
ACM Trans. Embed. Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Ramadge-Wonham, supervisor synthesis, model checking |
61 | Song Yu, Yan-Rong Jie |
Moving Communicational Supervisor Control System Based on Component Technology. |
GCC (2) |
2003 |
DBLP DOI BibTeX RDF |
supervisor control system, XYZ/E language, Component, server, client |
55 | Shigemasa Takai, Toshimitsu Ushio |
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation. |
Discret. Event Dyn. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Timed discrete event system, Forcible event, Supervisory control, Partial observation |
55 | Ramez M. Daoud, Hassanein H. Amer, Hany M. Elsayed |
Fault tolerant two-level pyramid networked control systems. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Joseph Rinde |
Routing and control in a centrally directed network. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
55 | Frantisek Capkovic |
Synthesis of the Supervising Agent in MAS. |
ICCS (3) |
2008 |
DBLP DOI BibTeX RDF |
modelling, MAS, Agent, Petri nets, invariants, supervisor |
55 | Tony Savor, Rudolph E. Seviora |
Improving the efficiency of supervision by software through state aggregation. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
private telephone exchanges, supervisory software, software supervision, real time failure detection, real time system monitoring, running time complexity, specification processes, software supervisor, ITU Specification and Description Language, small private branch telephone exchange, SDL processes, telecom switching software, real-time systems, computational complexity, formal specification, fault diagnosis, telecommunication computing, state transitions, telecommunication control, computerised monitoring, inputs queues, state aggregation |
51 | European Data Protection Supervisor |
EDPS calls for consistency in EU approach to criminal records. |
Datenschutz und Datensicherheit |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Zhiwu Li 0001, Moshe Shpitalni |
On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Rudwan Abdullah, Amir Hussain 0001, Marios M. Polycarpou |
Fuzzy Logic Based Switching and Tuning Supervisor for a Multi-variable Multiple Controller. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Chrysostomos D. Stylios, Peter P. Groumpos |
A Soft Computing Approach for Modelling the Supervisor of Manufacturing Systems. |
J. Intell. Robotic Syst. |
1999 |
DBLP DOI BibTeX RDF |
supervisory manufacturing systems, soft computing, fuzzy cognitive maps |
50 | Sarah-Jane Whittaker, Karen Rudie |
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems. |
Discret. Event Dyn. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Supervisor reduction, Automata, Discrete-event systems, Supervisory control |
44 | Luiz Carlos Castro Guedes, Edward Hermann Haeusler |
Action Algebras and Model Algebras in Denotational Semantics. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Howard Barringer, David E. Rydeheard, Dov M. Gabbay |
A Logical Framework for Monitoring and Evolving Software Components. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Luciano V. Gonçalves, Alexandre Hübner |
Regulating Social Exchanges Between Personality-Based Non-transparent Agents. |
MICAI |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Kishore Kothapalli, Christian Scheideler |
Supervised Peer-to-Peer Systems. |
ISPAN |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Pitoyo Hartono, Shuji Hashimoto |
Learning-Data Selection Mechanism through Neural Networks Ensemble. |
Multiple Classifier Systems |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Mahesh Kallahalla, Peter J. Varman |
Optimal prefetching and caching for parallel I/O systems. |
SPAA |
2001 |
DBLP DOI BibTeX RDF |
|
44 | David S. Rosenblum, David C. Luckham |
Testing the Correctness of Tasking Supervisors with TSL Specifications. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
Ada |
44 | Jaroslav Král |
One way of estimating frequencies of jumps in a program. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
Markov chain program correspondence, control transfers estimation, jump frequencies, jump frequencies estimation, locally estimated jump frequencies, object program reduction, one-entry subgraph, optimal program segmentation, program segmentation algorithm, supervisor calls decreasing, supervisor overheading decreasing, program graph |
39 | Ta-Hsiang Chung, Yi-Sheng Huang |
Design of a Supervisor for Traffic Light Systems. |
KES (2) |
2007 |
DBLP DOI BibTeX RDF |
timed coloured Petri nets, signal timing plan, traffic control |
39 | Karla Conn, Richard Alan Peters II |
Reinforcement Learning with a Supervisor for a Mobile Robot in a Real-world Environment. |
CIRA |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Juliana Lucas de Rezende, Geraldo Xexéo, Ricardo Tadeu da Silva, Margarete Silva Araujo, Jano Moreira de Souza |
Supporting Student-Supervisor Scientific Collaboration. |
CSCWD |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Ramez M. Daoud, Hassanein H. Amer |
Optimum Supervisor Computational Power for Small Scale in-Line Production Networked Control Machines. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Najib Essounbouli, Abdelaziz Hamzaoui, Noureddine Manamanni |
Fuzzy Supervisor for Combining Sliding Mode Control and H infinitive Control. |
IFSA |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Chengjia Li, Yifan Cai |
Supervisor Control for Fuzzy Discrete Event System with Blocking. |
FSKD (6) |
2009 |
DBLP DOI BibTeX RDF |
fuzzy set, blocking, discrete event systems, supervisor |
34 | Laura Little, Amanda Hinojosa, John Lynch |
Make Them Feel: How the Disclosure of Pregnancy to a Supervisor Leads to Changes in Perceived Supervisor Support. |
Organ. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Roger Clarke |
The Supervisor's Dilemma: Is Reconciliation Possible between the Candidate's Needs and the Supervisor's Integrity? |
Bled eConference |
2013 |
DBLP BibTeX RDF |
|
34 | Ahmed Nait Aicha, Gwenn Englebienne, Ben J. A. Kröse |
How busy is my supervisor?: Detecting the visits in the office of my supervisor using a sensor network. |
PETRA |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Toshihisa Tabuchi, Seiichi Ozawa, Asim Roy |
An Autonomous Learning Algorithm of Resource Allocating Network. |
IDEAL |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Lionel Tarazón, Daniel Pérez 0003, Nicolás Serrano, Vicente Alabau, Oriol Ramos Terrades, Alberto Sanchís, Alfons Juan |
Confidence Measures for Error Correction in Interactive Transcription Handwritten Text. |
ICIAP |
2009 |
DBLP DOI BibTeX RDF |
Computer-assisted Transcription of Handwritten Text, User Interfaces, Confidence Measures |
33 | Seyyedmohsen Azizi, Mani M. Tousi, Kash Khorasani |
A distributed and cooperative supervisory estimation of multi-agent systems - Part I: Framework. |
CCECE |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Benjamin Hardin, Michael A. Goodrich |
On using mixed-initiative control: a perspective for managing large-scale robotic teams. |
HRI |
2009 |
DBLP DOI BibTeX RDF |
adaptive autonomy, user study, human-robot interaction, mixed initiative, adjustable autonomy, unmanned vehicles |
33 | Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson |
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. |
Discret. Event Dyn. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Controllability, Synthesis, Discrete event systems, Supervisory control, Model reduction, Finite state automata, Nonblocking |
33 | Jin-Shyan Lee, Pau-Lo Hsu |
Implementation of a Remote Hierarchical Supervision System Using Petri Nets and Agent Technology. |
IEEE Trans. Syst. Man Cybern. Part C |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Huey-Ming Lee, Tsang-Yean Lee, Heng-Sheng Chen |
Certificate and Authority Application Based on Grid Environment. |
KES (3) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Antonia M. Sánchez, Francisco J. Montoya |
Safe Supervisory Control Under Observability Failure. |
Discret. Event Dyn. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Observability, Robust control, Supervisory control, Fault-tolerant control |
33 | Chun-Hsiang Huang, Yu-Feng Kuo, Ja-Ling Wu |
Digital invisible ink: revealing true secrets via attacking. |
AsiaCCS |
2006 |
DBLP DOI BibTeX RDF |
DII watermarking, digital invisible ink, hiding watermark in watermark, steganography |
33 | Kuei-Ping Shih, Sheng-Shih Wang, Hsieh-Wei Lin |
A Passive Self-Configuration MAC Protocol for IEEE 802.11-Based Multi-Hop MANETs. |
SUTC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Shigemasa Takai, Toshimitsu Ushio |
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Concurrent discrete event system, concurrent well-posedness, controllability, observability, supervisory control |
33 | Liming Liang 0001, Junwan Liu, Ronald Rousseau 0001 |
Name order patterns of graduate candidates and supervisors in Chinese publications: A case study of three major Chinese universities. |
Scientometrics |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Chien-Chang Hsu, Chang-Wen Deng |
An Intelligent Interface for Customer Behaviour Analysis from Interaction Activities in Electronic Commerce. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Geert Stremersch, René K. Boel |
Structuring Acyclic Petri Nets for Reachability Analysis and Control. |
Discret. Event Dyn. Syst. |
2002 |
DBLP DOI BibTeX RDF |
acyclic Petri net, uncontrollable transitions, Petri net, supervisory control |
33 | Christophe Le Gal, Jérôme Martin, Augustin Lux, James L. Crowley |
Smart Office: Design of an Intelligent Environment. |
IEEE Intell. Syst. |
2001 |
DBLP DOI BibTeX RDF |
process supervision, intelligent environment |
33 | José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh |
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Riku Suomela, Juha Lehikoinen, Ilkka Salminen |
A System for Evaluating Augmented Reality User Interfaces in Wearable Computers. |
ISWC |
2001 |
DBLP DOI BibTeX RDF |
augmented reality, wearable computer, usability testing, telepresence |
33 | Tae-Sic Yoo, Stéphane Lafortune |
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems. |
Discret. Event Dyn. Syst. |
2002 |
DBLP DOI BibTeX RDF |
supervisor synthesis, computational complexity, supervisory control, decision fusion, decentralized architectures |
33 | Dennis K. Peters, David Lorge Parnas |
Requirements-Based Monitors for Real-Time Systems. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
real-time system, Automated testing, test oracle, supervisor |
33 | Kunihiko Hiraishi |
Synthesis of Supervisors Using Learning Algorithm of Regular Languages. |
Discret. Event Dyn. Syst. |
2001 |
DBLP DOI BibTeX RDF |
supervisor synthesis, incompletely specified finite-state machines, learning algorithm, concurrent systems, supervisory control |
33 | Dennis K. Peters, David Lorge Parnas |
Requirements-based monitors for real-time systems. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
real-time system, automated testing, test oracle, supervisor |
33 | K. H. Kim, Chittur Subbaraman |
Dynamic Configuration Management in Reliable Distributed Real-Time Information Systems. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
information service systems, fault detection latency, latency bound, real time, distributed computing, Object, configuration management, TMO, time-triggered, supervisor, message-triggered, point-to-point networks, network surveillance |
33 | Shigeru Shimada, Kishiko Maruyama, Atsushi Matsumoto, Kazuhiro Hiraki |
Agent-based parallel recognition method of contour lines. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
agent-based parallel recognition method, contour line recognition, supervisor agent, vector trace agent, cooperative negotiable environment, man-machine oriented digitizing system, contour drawings, parallel processing, human factors, edge detection, software agents, document image processing, document image processing, cost, cooperative systems |
33 | William R. Bevier |
Kit: A Study in Operating System Verification. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
multitasking operating system kernel, machine language, uniprocessor von Neumann computer, conceptually distributed communicating processes, asynchronous devices, security-related results, supervisor mode, Boyer-Moore logic, Boyer-Moore theorem prover, verification, interface, message passing, theorem proving, program verification, operating systems (computers), multiprogramming, correctness proof, process scheduling, error handling, Kit |
28 | Fatma Ghandour, Mounir Frikha, Sami Tabbane |
A supervisor based scheduling architecture for 802.16 systems. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
scheduling, QoS, 802.16 |
28 | Chengjia Li, Yifan Cai, Fuling Ding |
Product Supervisor for Fuzzy Discrete Event Systems. |
FSKD (1) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel |
A supervisor implementation approach in Discrete Controller Synthesis. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Chengjia Li, Yifan Cai, Xiaodong Sun |
Supervisor Existence for Product Composition of Discrete Event Systems. |
FSKD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Manfred Bortenschlager, Sigi Reich, Gabriele Kotsis |
An Architectural Approach to Apply the Supervisor/Worker Collaboration Pattern to Nomadic Workspaces. |
WETICE |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Yu Ru, Weimin Wu, Hongye Su, Jian Chu |
State feedback based deadlock-free supervisor synthesis for bounded Petri nets. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Daniela Micucci |
Exploiting the kaleidoscope architecture in an industrial environmental monitoring system with heterogeneous devices and a knowledge-based supervisor. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
knowledge-based and expert systems, system applications and experience, software architecture, industrial applications |
22 | Seda Postalcioglu, Kadir Erkan |
Soft computing and signal processing based active fault tolerant control for benchmark process. |
Neural Comput. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Fault detection and identification, Self-organizing map, Wavelet analysis, Fuzzy logic controller, Fault tolerant control |
22 | Robert R. Burridge, Kimberly A. Hambuchen |
Using prediction to enhance remote robot supervision across time delay. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Bin Xia, Cang Zhao |
Empirical Research of the Relationship between Characteristics of Supervisory Board and Earnings Quality. |
WKDD |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Mani M. Tousi, Seyyedmohsen Azizi, Kash Khorasani |
A distributed and cooperative supervisory estimation of multi-agent systems - Part II: Verification and case study. |
CCECE |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Xun Liang 0001, Rong-Chang Chen, Jian Yang |
An architecture-adaptive neural network online control system. |
Neural Comput. Appl. |
2008 |
DBLP DOI BibTeX RDF |
Hidden neurons, Control system, Pruning, Orthogonal projection |
22 | Amir Hussain 0001, Kevin N. Gurney, Rudwan Abdullah, Jonathan M. Chambers |
Emergent Common Functional Principles in Control Theory and the Vertebrate Brain: A Case Study with Autonomous Vehicle Control. |
ICANN (2) |
2008 |
DBLP DOI BibTeX RDF |
Brain Structure, Proportional-Integral- Derivative and Pole-Zero Placement Control, Fuzzy Tuning, Autonomous Vehicle Control, Neurobiology |
22 | Davide Dardari, Andrea Conti 0001, Chiara Buratti, Roberto Verdone |
Mathematical Evaluation of Environmental Monitoring Estimation Error through Energy-Efficient Wireless Sensor Networks. |
IEEE Trans. Mob. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, energy efficiency, algorithm/protocol design and analysis, modeling techniques, environmental monitoring |
22 | Z. W. Li, H. S. Hu, An R. Wang |
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part C |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Karim Tamani, Reda Boukezzoula, Georges Habchi |
Fuzzy Supervisory Based Capacity Allocation Control for Manufacturing Systems. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira |
A Logic-Based Approach to Model Supervisory Control Systems. |
ISMIS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Joseph Nsasi Bakambu |
Integrated Autonomous System for Exploration and Navigation in Underground Mines. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Simon Lacroix, Jeremi Gancet |
Real-time Coordination and Control of Multiple Heterogeneous UAVs: The COMETs Project. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Chiu-Hsiung Chen, Chih-Min Lin, Yu-Ling Hou, Wei-Che Fan |
CMAC-Based Supervisory Control for Chaotic Chua's Circuits. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Hassanein H. Amer, Magdi S. Moustafa, Ramez M. Daoud |
Availability of Pyramid Industrial Networks. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Alessandro Giua, Xiaolan Xie |
Control of Safe Ordinary Petri Nets Using Unfolding. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
forbidden markings, Petri nets, unfolding, deadlock avoidance |
22 | Kurt Rohloff, Stéphane Lafortune |
PSPACE-completeness of Modular Supervisory Control Problems*. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
computational complexity, verification, supervisory control, modular systems |
22 | Wenliang Du, Michael T. Goodrich |
Searching for High-Value Rare Events with Uncheatable Grid Computing. |
ACNS |
2005 |
DBLP DOI BibTeX RDF |
security, Grid computing, obfuscation, cheating, cryptographic hash functions |
22 | Vir V. Phoha, Amit U. Nadgar, Asok Ray, Shashi Phoha |
Supervisory Control of Software Systems. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Chrysostomos D. Stylios, Petros P. Groumpos |
Modeling complex systems using fuzzy cognitive maps. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Elzbieta Roszkowska |
Liveness Enforcing in Closed AGV Systems with Dynamic Routing. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Chris Riley, Christian Scheideler |
A Distributed Hash Table for Computational Grids. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Wenliang Du, Jing Jia, Manish Mangal, Mummoorthy Murugesan |
Uncheatable Grid Computing. |
ICDCS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Fabio Collura, Alberto Machì, F. Nicotra |
An Interactive Distributed Environment for Digital Film Restoration. |
ICCSA (2) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Pam Hogarth, Gil Zimmerman, Craig Sylvester, Kat Curry |
Producing a real-world student group project. |
SIGGRAPH Educators Program |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Gabriel Fiol-Roig |
Knowledge Representation Model for Dynamic Processes. |
CCIA |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Barb Coleman |
ITS professional development: refine, reward, retain. |
SIGUCCS |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Antonio Mendes da Silva Filho |
Toward More Reliable Telecom Systems. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Tony Savor, Rudolph E. Seviora |
Automatic detection of software failures: issues and experience. |
ECRTS |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Toru Ishida 0001 |
Real-Time Bidirectional Search: Coordinated Problem Solving in Uncertain Situations. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
bidirectional search, real-time problem solving, organizational problem solving, heuristic depression, Search, problem solving, real-time search |
22 | David Stack |
All your consulting needs under one roof. |
SIGUCCS |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Albert Chang, Mark F. Mergen |
801 Storage: Architecture and Programming (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 28-50(1988)) |
SOSP |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Alberto Di Janni |
A monitor for complex CAD systems. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Tad B. Pinkerton |
Performance monitoring in a time-sharing system. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
multiprogramming performance, peformance measurement, software instrumentation, time-sharing performance, software measurement, performance monitoring, program behavior, system evaluation, software monitor, performance data |
22 | Mouna Essabbah, Samir Otmane, Joan Hérisson, Malik Mallem |
A New Approach to Design an Interactive System for Molecular Analysis. |
HCI (4) |
2009 |
DBLP DOI BibTeX RDF |
Biological Constraints, Bio-supervisor, Adaptability, Complex Systems, 3D Manipulation |
22 | Wuu-Yee Chen, Tsang-Yean Lee, Nai-Wen Kuo, Yuan-Hwa Mei, Shan-Kai Chen, Yu-Chen Yan |
Job Schedule Model Based on Grid Environment. |
NCM |
2009 |
DBLP DOI BibTeX RDF |
supervisor schedule, load-balancing, grid computing |
22 | Frantisek Capkovic |
DES Control Synthesis and Cooperation of Agents. |
ICCCI |
2009 |
DBLP DOI BibTeX RDF |
Agents, Petri nets, control, synthesis, cooperation, bipartite graphs, discrete-event systems, supervisor |
22 | Jürgen Mottok, Frank Schiller, Thomas Völkl, Thomas Zeitler |
A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Safely Embedded Software, Safe State Machine, Diverse Instructions, Safety Code Weaving, Safety Supervisor |
22 | Edward G. Coffman Jr., Lee C. Varian |
Further experimental data on the behavior of programs in a paging environment. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
dynamic program behavior, machine language program interpretation, one-level storage, operating system simulation, paging systems, single-level storage, supervisor simulation, operating systems, paging, program behavior, virtual memory systems |
17 | Nikol Figalová, Hans-Joachim Bieg, Julian Elias Reiser, Yuan-Cheng Liu, Martin Baumann 0001, Lewis L. Chuang, Olga Pollatos |
From Driver to Supervisor: Comparing Cognitive Load and EEG-Based Attentional Resource Allocation Across Automation Levels. |
Int. J. Hum. Comput. Stud. |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 738 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|