"Building diverse computer systems". Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) ( ... This natural diversity can be exploited, for example it has been shown valuable to increase security in cloud systems. Deswarte ... Knight, John C. (2011), "Diversity", Dependable and Historic Computing, Lecture Notes in Computer Science, vol. 6875, Springer ... 211-258, doi:10.1145/3129743.3129752, ISBN 9781970001839, S2CID 189007860 Cohen, Frederick B. (1993). "Operating system ...
Henry M. Levy (1984). "The Plessey System 250" (PDF). Capability-Based Computer Systems. Digital Press. "Ptarmigan project". ... Computers designed in the United Kingdom, Capability systems, History of computing in the United Kingdom, Military computers, ... System 250 ICC Papers - four papers presented at the inaugural International Conference on Computer Communications System 250 ... Plessey built the systems for a British Army message routing project. A Church-Turing machine is a digital computer that ...
"Sufficient Evidence? Building Certifiably Dependable Systems". Computer Science and Telecommunications Board. The National ... English computer scientists, Formal methods people, Software engineering researchers, Computer science writers, 20th-century ... He then returned to academia to study computer science at MIT, where he received an SM in 1988, and a PhD in 1992. Following ... He has been on the faculty of the Department of Electrical Engineering and Computer Science at MIT since 1997. In 2017 he ...
Computer Languages, Systems & Structures. 43 (43): 139-155. doi:10.1016/j.cl.2015.06.001. Model-Driven Architecture: Vision, ... The Eclipse "eco-system" of programming and modelling tools represented in general terms by the (Eclipse Modeling Framework). ... The first tools to support MDE were the Computer-Aided Software Engineering (CASE) tools developed in the 1980s. Companies like ... As the models approach completion, they enable the development of software and systems. Some of the better known MDE ...
Boonham, J C (1978). Small Systems Computer Sourcebook. The Rococo Press Limited. ISBN 9780470262955. Notes A cached copy of ... Small Systems Computer Sourcebook, author: J C Boonham This version used eight binary switches and a load button for program ... The system is programmed directly in 8080 machine code: Address Code Instruction Comments 0000 DB 00 IN 0 Read from switches ... printed training manual provided with MPT8080) Official website Fact sheet for MPT8080K-1 Web site on old computers, includes ...
1969: System 250 - Plessey Company 1970-77: CAP computer - University of Cambridge Computer Laboratory 1978: System/38 - IBM ... "The IBM System/38" (PDF). Capability-Based Computer Systems. Digital Press. ISBN 978-1-4831-0106-4. Soltis, Frank (1997). ... Object-based Computer Systems and the Ada Programming Language (Report). The University of Michigan - Computer Research ... and it was used to protect capabilities in the IBM System/38. The System/38 CPF operating system supported two types of object ...
Future Generation Computer Systems. 78: 516-530. doi:10.1016/j.future.2017.07.026. Archived (PDF) from the original on April 28 ... The potential for computer networking to facilitate newly improved forms of computer-mediated social interaction was suggested ... and Computing Systems. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications ... Computers in Human Behavior emphasizes that these feelings of poor mental health have been suggested to cause people to take ...
System/38, and IBM mainframe systems running CICS. It also allows programs on remote System/36 and System/38 computers to ... system service library QRECOVERY - system recovery library In most computers prior to the System/38, and most modern ones, data ... Levy, Henry M. (1984). "The IBM System/38" (PDF). Capability-Based Computer Systems. Digital Press. ISBN 0-932376-22-3. Soltis ... System/38 was one of the few commercial computers with capability-based addressing. Capability-based addressing was removed in ...
"Elbrus 2000 computer systems". elbrus2k.wikidot.com/. Retrieved 2015-01-03. (Articles containing Russian-language text, ... Monokub (Russian: Монокуб) is a computer motherboard based on the Russian Elbrus 2000 computer architecture, which form the ... "Domestic company Kraftway launches computers for domestic processors". survincity.com. Retrieved 2015-01-03. "Kraftway issued ...
Future Generation Computer Systems. 25 (5): 561-567. doi:10.1016/j.future.2008.06.010. Roure, D. D.; Goble, C.; Bhagat, J.; ... Future Generation Computer Systems. 29 (2): 599. doi:10.1016/j.future.2011.08.004. S2CID 16783450. De Roure, D.; Goble, C.; ... Hendler, J. (2008). "Reinventing Academic Publishing, Part 3". IEEE Intelligent Systems. 23: 2-3. doi:10.1109/MIS.2008.12. ... Future Generation Computer Systems. 29 (2): 599. doi:10.1016/j.future.2011.08.004. S2CID 16783450. https://www.newscientist.com ...
Future Generation Computer Systems. 102: 514-523. doi:10.1016/j.future.2019.08.006. ISSN 0167-739X. S2CID 202773484 - via ... "What is the Computer Society's Special Technical Community on Autonomous Driving Technologies?". IEEE Computer Society. ... Shaoshan Liu is a US-based computer scientist, who is also the founder, chairman and CEO of PerceptIn. Presently, he is a ... Liu holds a Ph.D. degree in computer engineering from University of California, Irvine. His research focuses on deep learning ...
Friedman, Batya; Nissenbaum, Helen (July 1996). "Bias in computer systems". ACM Transactions on Information Systems. 14 (3): ... Friedman and Nissenbaum identify three categories of bias in computer systems: existing bias, technical bias, and emergent bias ... Some of these systems have real business applications and directly impact people. These systems are vulnerable to biases and ... Not all robots function through AI systems and not all AI systems are robots. Robot ethics considers how machines may be used ...
System/38, and IBM mainframe systems running CICS. It also enabled programs on remote System/36 and System/38 computers to ... System Support Program (SSP) was the operating system of the IBM System/34 and System/36 minicomputers. SSP was a command-based ... The IBM System/32 (1975) ran a disk-based operating system also called the System Control Program. The IBM System/38 (1978) ran ... Computer programs can be run from the fixed disk, but not from diskette or tape. The complement of a System/34 5340, or System/ ...
"The gCube system: Delivering Virtual Research Environments as-a-Service". Future Generation Computer Systems. 95: 445-453. doi: ... It is designed and conceived to enact system of systems. In fact, its gCube services rely on standards and mediators to ... gCube is an open source software system specifically designed and developed to enact the building and operation of a Data ... developed in the context of the D4Science initiative with the support of several EU projects gLite Globus Toolkit gCube System ...
Computer Languages, Systems & Structures. 38 (3): 214-241. doi:10.1016/j.cl.2012.04.002. Minnesota, Marriage Index, 1958-2001 " ... She is the James M. Beall Professor of Mathematics and Computer Science at Goucher College. In 1985, Zimmerman married computer ... American women computer scientists, American computer scientists, 21st-century American women scientists, 20th-century American ... While in high school in 1975, Zimmerman and her father built a computer with four kilobytes of memory after being inspired by ...
Future generation computer systems. 79: 337-349. "Advanced Persistent Threats (APTs)". IT Governance. "Advanced persistent ... The Stuxnet computer worm, which targeted the computer hardware of Iran's nuclear program, is one example of an APT attack. In ... A complex ecosystem of cyber espionage that systematically targeted and compromised computer systems in India, the Offices of ... Advanced persistent threat (APT) as a term may be shifting focus to computer-based hacking due to the rising number of ...
Computer Languages, Systems & Structures. 28 (3): 273-288. doi:10.1016/S0096-0551(02)00014-0. NSC 86-2213-E-009-021 and NSC 86- ... Lexers and parsers are most often used for compilers, but can be used for other computer language tools, such as prettyprinters ... For example, in the source code of a computer program, the string net_worth_future = (assets - liabilities); might be converted ... not to be confused with a word in computer architecture), although in some cases it may be more similar to a morpheme. A ...
Center for Devices and Radiological Health (2022-06-21). "Computer-Assisted Surgical Systems". FDA. Retrieved 2022-12-13. " ... An imaging system is a system that creates images of various parts of the body depending on what is needed to be analyzed. the ... The instrument system would send the quantity to the display or the recording system. The signal conditioning process would ... With existing space suit bioinstrumentation system, the development of next generation of bioinstrumentation systems made it ...
Computer Systems and Soft. Eng., Tel-Aviv, May 1987. Barak A., Drezner Z. and Gurevich Y., On the Number of Active Nodes in a ... Later versions were based on Unix System V Release 2 (1987-89) and ran on a cluster of VAX and NS32332-based computers, ... Journal of Future Generation Computer Systems, Vol. 13, No. 4-5, pp. 361-372, March 1998. Barak A., Laden O. and Yarom Y., The ... Journal of Future Generation Computer Systems, Vol. 20, No. 4, pp. 539-547, May 2004. Amar L., Barak A. and Shiloh A., The ...
Future Generation Computer Systems. 111: 879-898. doi:10.1016/j.future.2019.10.024. ISSN 0167-739X. Li, Yao; Gui, Xinning; Chen ... offers a possible explanation to voluntary servitude through the System Justification Theory. This theory states that people ... Yang, Lina; Deng, Haiyu; Dang, Xiaocui (2020). "Preference Preserved Privacy Protection Scheme for Smart Home Network System ... Computers in Human Behavior. 98: 38-54. arXiv:1905.05222. doi:10.1016/j.chb.2019.04.026. ISSN 0747-5632. S2CID 153312534. Shore ...
Onyx C8002 Computer System. Onyx Systems Incorporated. p. 8. Eisenbach, Sue (March 1981). "Onyx C8002". Personal Computer World ... Computer companies established in 1979, Computer companies disestablished in 1985, Defunct computer companies of the United ... Onyx Systems, Inc. was founded in Cupertino, California in 1979 by Bob Marsh and Kip Myers, former managers in Zilog's systems ... Greitzer, John (16 November 1981). "Codata Weds 68000-Based System With Unix OS". Computer Business News. pp. 48, 50. Retrieved ...
Hey, T.; Trefethen, A. E. (2002). "The UK e-Science Core Programme and the Grid" (PDF). Future Generation Computer Systems. 18 ... He switched to computer science in 1985, and in 1986 became professor of computation in the Department of Electronics and ... Lecture Notes in Computer Science. Vol. 1300. p. 1009. CiteSeerX 10.1.1.35.4076. doi:10.1007/BFb0002845. ISBN 978-3-540-63440-9 ... While there, he was promoted to Head of the School of Electronics and Computer Science in 1994 and Dean of Engineering and ...
Ling, Zhang (2009). "Design of Collaborative Workflow System Based on UML State Model". International Forum on Computer Science ... Future Generation Computer Systems. 25 (6): 638-653. doi:10.1016/j.future.2008.12.005. ... The personal computer ushered in a power shift from the data center to the knowledge workers (the people who used the data to ... Computer Programming and Creative Workflow Podio App: Example of Collaborative Workflow Software Citrix Acquires Podio App ( ...
Iliffe led the development of the operating system and programming language for the Rice Computer. His design included an early ... Both of these require a computer architecture in which the operating system could guarantee the separation, security and ... Describes the codeword-based system of program and data representation used on the Rice University computer. Iliffe, John ( ... Levy, Henry M. (1984). Descriptor-Based Computer Systems. Digital Press. Retrieved 8 May 2019. Chapter 2 Early Descriptor ...
Future Generation Computer Systems. 27 (3): 319-328. doi:10.1016/j.future.2010.08.010. Holties, H.A; van Diepen, G.; et al. ( ... The systems applies continuous ('24/7') machine learning over internet, yielding fundamental results.[vague] The MONK system ... Monk is a system, developed by Schomaker and his group at the Artificial Intelligence Institute (ALICE) at the University of ... Target's computer center is hosted by the Center for Information Technology, the computing center of the University of ...
VLSI Systems and Computations. Computer Science Press. pp. 1-19. doi:10.1007/978-3-642-68402-9_1. ISBN 978-3-642-68404-3. S2CID ... VLSI Systems and Computations. Computer Science Press. pp. 1-19. doi:10.1007/978-3-642-68402-9_1. ISBN 978-3-642-68404-3. S2CID ... Computer History Museum. Retrieved August 31, 2019. Kozlowski, L. J.; Luo, J.; Kleinhans, W. E.; Liu, T. (14 September 1998). ... Dillon, Peter (February 1978). "Color imaging system using a single CCD area array". IEEE Transactions on Electron Devices. 25 ...
... could be displayed via a system of computers. Among the benefits of such a system would be: "With the Geoscope humanity would ... Like the microscope, the computer provides a view that is beyond the capability of the naked eye. The computer is being used as ... Data fusion Digital Earth Earth observation Geospatial analysis Global Earth Observation System of Systems Landsat program ... Future Generation Computer Systems. 111: 819-828. doi:10.1016/j.future.2019.10.029. S2CID 209090742. Retrieved 2020-06-15. ...
Future Generation Computer Systems. Vol. 16. pp. 739-751. Landin, Peter J. (February 1965a). "Correspondence between ALGOL 60 ... Landin, Peter J. (1964). "The mechanical evaluation of expressions". The Computer Journal. British Computer Society. 6 (4): 308 ... John DeNero (Fall 2019). "Computer Science 61A, Berkeley". Department of Electrical Engineering and Computer Sciences, Berkeley ... These type systems do not have decidable type inference and are difficult to understand and program with. But dependent types ...
IEEE Computer Society. M. Aldinucci and M. Danelutto. "The cost of security in skeletal systems." In P. D'Ambra and M. R. ... "Securing skeletal systems with limited performance penalty: the muskel experience." Journal of Systems Architecture, 2008. M. ... T4P was one of the first systems introduced for skeleton programming. The system relied heavily on functional programming ... Future Generation Computer Systems. 19 (5): 611. CiteSeerX 10.1.1.59.3748. doi:10.1016/S0167-739X(02)00172-3. M. Danelutto and ...
Future Generation Computer Systems. 20 (3): 475-487. doi:10.1016/j.future.2003.07.011. PARDISO Solver Project. https://www. ... German computer scientists, German academics, Year of birth missing (living people), All stub articles, European computer ... Olaf Schenk is a German mathematician and computer scientist. He is full professor of the faculty of Informatics at the ... Schenk, O.; Gärtner, K. (2004). "Solving unsymmetric sparse systems of linear equations with PARDISO". ...