|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Jeffrey H. Johnson, Pejman Iravani |
The multilevel hypernetwork dynamics of complex systems of robot soccer agents.  |
TAAS  |
2007 |
DBLP DOI BibTeX RDF |
Q-analysis, hypernetwork, multilevel representations, multilevel systems, simulated multiagent football, agent, robotics, multiagent systems, Complex systems, robot soccer |
| 2 | Daryl McCullough |
A Hookup Theorem for Multilevel Security.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
user inferences, hookup theorem, trusted multilevel systems, hookup property, secure restrictive composite system, software engineering, security policy, security of data, multilevel security, inference control, composable, security property, restrictiveness, sensitive information |
| 1 | Chris A. Owen, Duncan A. Grove, Tristan Newby, Alex Murray, Chris J. North, Michael Pope |
PRISM: Program Replication and Integration for Seamless MILS.  |
IEEE Symposium on Security and Privacy  |
2011 |
DBLP DOI BibTeX RDF |
Multilevel systems, Application virtualization, Data storage systems, Software architecture, Information security, Computer security, File systems, Data security, Information entropy, Military computing |
| 1 | Jeffrey Johnson |
Hypernetworks of Complex Systems.  |
Complex  |
2009 |
DBLP DOI BibTeX RDF |
Hypernetworks, Backcloth, Multilevel Systems, Networks, Dynamics, Complex Systems, Traffic, Simplicial Complex, Simplex |
| 1 | Thomas J. Wheeler |
A Modeling and Integration Framework for Complex Multilevel Systems.  |
Software Engineering Research and Practice  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Svetlana Novikava, Kastus Miatliuk, Krzysztof Jaworek |
Motion Design of Two-Legged Locomotion Process of a Man.  |
International Conference on Computational Science  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Information Flow Analysis for Probabilistic Timed Automata.  |
Formal Aspects in Security and Trust  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Dawson, Sabrina De Capitani di Vimercati, Pierangela Samarati |
Specification and Enforcement of Classification and Inference Constraints. (PDF / PS)  |
IEEE Symposium on Security and Privacy  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruna R. Isa, William R. Shockley, Cynthia E. Irvine |
A Multi-Threading Architecture for Multilevel Secure Transaction Processing. (PDF / PS)  |
IEEE Symposium on Security and Privacy  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | James A. Davis, Miranda Mowbray, Simon Crouch |
Finding cyclic redundancy check polynomials for multilevel systems.  |
IEEE Transactions on Communications  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Todor Stoilov, Krasimira Stoilova |
Non-iterative co-ordination in multilevel systems.  |
Int. J. Systems Science  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Srinivasan Ramaswamy, Kimon P. Valavanis |
Hierarchical time-extended Petri nets (H-EPNs) based error identification and recovery for multilevel systems.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part B  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen H. Brackin, Shiu-Kai Chin |
Server-Process Restrictiveness in HOL.  |
HUG  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Genhong Ruan, Jiri Vlach, James A. Barby, Ajoy Opal |
Analog functional simulator for multilevel systems.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Madan G. Singh, Khalil Hindi |
A multilevel multilayer framework for manufacturing control.  |
Journal of Intelligent and Robotic Systems  |
1991 |
DBLP DOI BibTeX RDF |
Manufacturing control, multilevel systems, multilayer systems |
| 1 | Thomas Anderson, Peter A. Lee, Santosh K. Shrivastava |
A Model of Recoverability in Multilevel Systems.  |
IEEE Trans. Software Eng.  |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Wladyslaw Findeisen |
Parametric Optimization by Primal Method in Multilevel Systems.  |
IEEE Trans. Systems Science and Cybernetics  |
1968 |
DBLP DOI BibTeX RDF |
|
| 1 | J. D. Pearson |
Decomposition, Coordination, and Multilevel Systems.  |
IEEE Trans. Systems Science and Cybernetics  |
1966 |
DBLP DOI BibTeX RDF |
|
| 1 | William Orchard-Hays |
Multilevel operating systems.  |
Commun. ACM  |
1966 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|