|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 14(1), pp. 31-53, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 4(2), pp. 331-362, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 396-399, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(2), pp. 257-278, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2005, Catania, Italy, 2005, IEEE, 0-7803-9401-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Joseph Rinde |
Routing and control in a centrally directed network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1977 National Computer Conference, June 13-16, 1977, Dallas, Texas, USA, pp. 603-608, 1977, AFIPS Press, 978-1-4503-7914-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
55 | Frantisek Capkovic |
Synthesis of the Supervising Agent in MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 545-554, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 202-211, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datenschutz und Datensicherheit ![In: Datenschutz und Datensicherheit 42(2), pp. 68, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 90-95, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Chrysostomos D. Stylios, Peter P. Groumpos |
A Soft Computing Approach for Modelling the Supervisor of Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 26(3-4), pp. 389-403, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(3), pp. 285-321, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 227-249, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Howard Barringer, David E. Rydeheard, Dov M. Gabbay |
A Logical Framework for Monitoring and Evolving Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 273-282, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 1105-1115, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Kishore Kothapalli, Christian Scheideler |
Supervised Peer-to-Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 8th International Symposium on Parallel Architectures, Algorithms, and Networks, ISPAN 2005, December 7-9. 2005, Las Vegas, Nevada, USA, pp. 188-193, 2005, IEEE Computer Society, 0-7695-2509-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Pitoyo Hartono, Shuji Hashimoto |
Learning-Data Selection Mechanism through Neural Networks Ensemble. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiple Classifier Systems ![In: Multiple Classifier Systems, Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001, Proceedings, pp. 188-197, 2001, Springer, 3-540-42284-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Mahesh Kallahalla, Peter J. Varman |
Optimal prefetching and caching for parallel I/O systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2001, Heraklion, Crete Island, Greece, July 4-6, 2001, pp. 219-228, 2001, ACM, 1-58113-409-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | David S. Rosenblum, David C. Luckham |
Testing the Correctness of Tasking Supervisors with TSL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Testing, Analysis, and Verification ![In: Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989, pp. 187-196, 1989, ACM, 0-89791-342-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Ada |
44 | Jaroslav Král |
One way of estimating frequencies of jumps in a program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(7), pp. 475-480, 1968. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 704-711, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIRA ![In: Proceedings of the 7th IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2007, 20-23 June 2007, Jacksonville, Florida, USA, pp. 73-78, 2007, IEEE, 1-4244-0790-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China, pp. 224-229, 2006, IEEE, 1-4244-0165-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1866-1869, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Najib Essounbouli, Abdelaziz Hamzaoui, Noureddine Manamanni |
Fuzzy Supervisor for Combining Sliding Mode Control and H infinitive Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 466-473, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Chengjia Li, Yifan Cai |
Supervisor Control for Fuzzy Discrete Event System with Blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 432-436, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Organ. Sci. ![In: Organ. Sci. 28(4), pp. 618-635, 2017. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bled eConference ![In: 26th Bled eConference: eTrust: eInnovation: Challenges and Impacts for Individuals, Organizations and Society, Bled, Slovenia, June 9-13, 2013, pp. 4, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: The 5th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2012, Heraklion, Crete, Greece, June 6-9, 2012, pp. 12, 2012, ACM, 978-1-4503-1300-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Toshihisa Tabuchi, Seiichi Ozawa, Asim Roy |
An Autonomous Learning Algorithm of Resource Allocating Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2009, 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings, pp. 134-141, 2009, Springer, 978-3-642-04393-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: Image Analysis and Processing - ICIAP 2009, 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009, Proceedings, pp. 567-574, 2009, Springer, 978-3-642-04145-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, CCECE 2009, 3-6 May 2009, Delta St. John's Hotel and Conference Centre, St. John's, Newfoundland, Canada, pp. 1028-1033, 2009, IEEE, 978-1-4244-3508-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Benjamin Hardin, Michael A. Goodrich |
On using mixed-initiative control: a perspective for managing large-scale robotic teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, HRI 2009, La Jolla, California, USA, March 9-13, 2009, pp. 165-172, 2009, ACM, 978-1-60558-404-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(4), pp. 475-504, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(1), pp. 77-85, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Huey-Ming Lee, Tsang-Yean Lee, Heng-Sheng Chen |
Certificate and Authority Application Based on Grid Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III, pp. 354-362, 2007, Springer, 978-3-540-74828-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Antonia M. Sánchez, Francisco J. Montoya |
Safe Supervisory Control Under Observability Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(4), pp. 493-525, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2006, Taipei, Taiwan, March 21-24, 2006, pp. 355, 2006, ACM, 1-59593-272-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUTC (2) ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2006), 5-7 June 2006, Taichung, Taiwan, pp. 26-31, 2006, IEEE Computer Society, 0-7695-2553-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Shigemasa Takai, Toshimitsu Ushio |
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(1), pp. 7-32, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 61(1), pp. 3-18, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 315-324, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Geert Stremersch, René K. Boel |
Structuring Acyclic Petri Nets for Reachability Analysis and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 12(1), pp. 7-41, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 16(4), pp. 60-66, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 247-260, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Riku Suomela, Juha Lehikoinen, Ilkka Salminen |
A System for Evaluating Augmented Reality User Interfaces in Wearable Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: 5th International Symposium on Wearable Computers (ISWC 2001), 8-9 October 2001, Zurich, Switzerland, pp. 77-84, 2001, IEEE Computer Society, 0-7695-1318-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 12(3), pp. 335-377, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(2), pp. 146-158, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 11(3), pp. 211-234, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 77-85, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(1), pp. 239-254, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 154-157, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1382-1396, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 911-915, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
scheduling, QoS, 802.16 |
28 | Chengjia Li, Yifan Cai, Fuling Ding |
Product Supervisor for Fuzzy Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 391-395, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel |
A supervisor implementation approach in Discrete Controller Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 1433-1440, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Chengjia Li, Yifan Cai, Xiaodong Sun |
Supervisor Existence for Product Composition of Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 257-261, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 18-20 June 2007, Paris, France, pp. 170-175, 2007, IEEE Computer Society, 0-7695-2879-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1666-1671, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 685-688, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 18(1), pp. 77-85, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 5628-5634, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Bin Xia, Cang Zhao |
Empirical Research of the Relationship between Characteristics of Supervisory Board and Earnings Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, WKDD 2009, Moscow, Russia, 23-25 January 2009, pp. 409-412, 2009, IEEE Computer Society, 978-0-7695-3543-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, CCECE 2009, 3-6 May 2009, Delta St. John's Hotel and Conference Centre, St. John's, Newfoundland, Canada, pp. 1022-1027, 2009, IEEE, 978-1-4244-3508-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Xun Liang 0001, Rong-Chang Chen, Jian Yang |
An architecture-adaptive neural network online control system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 17(4), pp. 413-423, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2008, 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II, pp. 949-958, 2008, Springer, 978-3-540-87558-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 6(7), pp. 790-802, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(4), pp. 517-526, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Karim Tamani, Reda Boukezzoula, Georges Habchi |
Fuzzy Supervisory Based Capacity Allocation Control for Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Pierangelo Dell'Acqua, Anna Lombardi, Luís Moniz Pereira |
A Logic-Based Approach to Model Supervisory Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings, pp. 534-539, 2006, Springer, 3-540-45764-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Joseph Nsasi Bakambu |
Integrated Autonomous System for Exploration and Navigation in Underground Mines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 2308-2313, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Simon Lacroix, Jeremi Gancet |
Real-time Coordination and Control of Multiple Heterogeneous UAVs: The COMETs Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2006, part of the IEEE World Congress on Computational Intelligence, WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, pp. 3114-3119, 2006, IEEE, 0-7803-9490-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Hassanein H. Amer, Magdi S. Moustafa, Ramez M. Daoud |
Availability of Pyramid Industrial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1862-1865, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Alessandro Giua, Xiaolan Xie |
Control of Safe Ordinary Petri Nets Using Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(4), pp. 349-373, 2005. The full citation details ...](Pics/full.jpeg) |
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*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(2), pp. 145-167, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings, pp. 122-137, 2005, 3-540-26223-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(9), pp. 1187-1199, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Chrysostomos D. Stylios, Petros P. Groumpos |
Modeling complex systems using fuzzy cognitive maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(1), pp. 155-162, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Elzbieta Roszkowska |
Liveness Enforcing in Closed AGV Systems with Dynamic Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 5165-5170, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Chris Riley, Christian Scheideler |
A Distributed Hash Table for Computational Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Wenliang Du, Jing Jia, Manish Mangal, Mummoorthy Murugesan |
Uncheatable Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 24th International Conference on Distributed Computing Systems (ICDCS 2004), 24-26 March 2004, Hachioji, Tokyo, Japan, pp. 4-11, 2004, IEEE Computer Society, 0-7695-2086-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Fabio Collura, Alberto Machì, F. Nicotra |
An Interactive Distributed Environment for Digital Film Restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part II, pp. 536-543, 2004, Springer, 3-540-22056-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Pam Hogarth, Gil Zimmerman, Craig Sylvester, Kat Curry |
Producing a real-world student group project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Educators Program ![In: Educators program from the 30th annual conference on Computer graphics and interactive techniques, 2003, San Diego, California, USA, July 27 - 31, 2003, 2003, ACM, 978-1-4503-7459-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Gabriel Fiol-Roig |
Knowledge Representation Model for Dynamic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Topics in Artificial Intelligence, 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002, Proceedings, pp. 40-53, 2002, Springer, 3-540-00011-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Barb Coleman |
ITS professional development: refine, reward, retain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 29th Annual ACM SIGUCCS Conference on User Services 2001, Portland, Oregon, USA, October 17-20, 2001, pp. 23-26, 2001, ACM, 1-58113-382-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Antonio Mendes da Silva Filho |
Toward More Reliable Telecom Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 151-156, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Tony Savor, Rudolph E. Seviora |
Automatic detection of software failures: issues and experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 17-19 June 1998, berlin, Germany, Proceedings, pp. 245-252, 1998, IEEE Computer Society, 0-8186-8503-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Toru Ishida 0001 |
Real-Time Bidirectional Search: Coordinated Problem Solving in Uncertain Situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(6), pp. 617-628, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 15th Annual ACM SIGUCCS Conference on User Services, Kansas City, Missouri, USA, 1987, pp. 173-175, 1987, ACM, 0-89791-241-1. The full citation details ...](Pics/full.jpeg) |
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)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Eleventh ACM Symposium on Operating System Principles, SOSP 1987, Stouffer Austin Hotel, Austin, Texas, USA, November 8-11, 1987, pp. 109-110, 1987, ACM, 0-89791-242-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Alberto Di Janni |
A monitor for complex CAD systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, NV, USA, June, 1986., pp. 145-151, 1986, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Tad B. Pinkerton |
Performance monitoring in a time-sharing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(11), pp. 608-610, 1969. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 713-722, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 538-543, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
supervisor schedule, load-balancing, grid computing |
22 | Frantisek Capkovic |
DES Control Synthesis and Cooperation of Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI ![In: Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009. Proceedings, pp. 596-607, 2009, Springer, 978-3-642-04440-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 283-288, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(7), pp. 471-474, 1968. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 182, pp. 103169, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 738 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|