Search Results for operating systems.

1.

Software Verification and Validation An Engineering and Scientific Approach

by

Fisher, Marcus S. author.

http://dx.doi.org/10.1007/978-0-387-47939-2

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

2.

Advanced Topics in Exception Handling Techniques

by

Dony, Christophe. editor.

http://dx.doi.org/10.1007/11818502

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

3.

Computational Intelligence in Fault Diagnosis

by

Palade, Vasile. editor.

http://dx.doi.org/10.1007/978-1-84628-631-5

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

4.

Issues in Multi-Agent Systems The AgentCities.ES Experience

by

Moreno, Antonio. editor.

http://dx.doi.org/10.1007/978-3-7643-8543-9

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

5.

Rigorous Development of Complex Fault-Tolerant Systems

by

Butler, Michael. editor.

http://dx.doi.org/10.1007/11916246

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

6.

Automatic Quantum Computer Programming A Genetic Programming Approach

by

Spector, Lee. editor.

http://dx.doi.org/10.1007/978-0-387-36791-0

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

7.

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

by

Priami, Corrado. editor.

http://dx.doi.org/10.1007/b103251

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

8.

Multi-Agent Programming Languages, Platforms and Applications

by

Bordini, Rafael H. editor.

http://dx.doi.org/10.1007/b137449

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

9.

Ubiquitous Intelligence and Computing Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings

by

Ma, Jianhua. editor.

http://dx.doi.org/10.1007/11833529

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

10.

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

by

Brueckner, Sven A. editor.

http://dx.doi.org/10.1007/978-3-540-69868-5

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

11.

Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics

by

Liu, Kecheng. editor.

http://dx.doi.org/10.1007/1-4020-2162-3

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

12.

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

by

Meyer, Bertrand. editor.

http://dx.doi.org/10.1007/978-3-540-69149-5

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

13.

Engineering Self-Organising Systems Methodologies and Applications

by

Brueckner, Sven A. editor.

http://dx.doi.org/10.1007/b136984

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

14.

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

by

Liu, Jiming. author.

http://dx.doi.org/10.1007/b101185

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

15.

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

by

Brueckner, Sven A. editor.

http://dx.doi.org/10.1007/11734697

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

16.

Ontologies for Agents: Theory and Experiences

by

Tamma, Valentina. editor.

http://dx.doi.org/10.1007/3-7643-7361-X

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

17.

Coordination of Large-Scale Multiagent Systems

by

Scerri, Paul. editor.

http://dx.doi.org/10.1007/0-387-27972-5

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

18.

From Specification to Embedded Systems Application

by

Rettberg, Achim. editor.

http://dx.doi.org/10.1007/11523277

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

19.

Ambient Intelligence European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings

by

Schiele, Bernt. editor.

http://dx.doi.org/10.1007/978-3-540-76652-0

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

20.

Constructing Ambient Intelligence AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers

by

Mühlhäuser, Max. editor.

http://dx.doi.org/10.1007/978-3-540-85379-4

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

21.

Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)

by

Maña, Antonio. author.

http://dx.doi.org/10.1007/978-2-287-47610-5

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

22.

Agent Intelligence Through Data Mining

by

Symeonidis, Andreas L. author.

http://dx.doi.org/10.1007/b136000

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

23.

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

by

Ramos, Félix F. editor.

http://dx.doi.org/10.1007/11533962

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

24.

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

by

Hoos, Holger H. editor.

http://dx.doi.org/10.1007/11527695

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

25.

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

by

Kleine Büning, Hans. editor.

http://dx.doi.org/10.1007/978-3-540-79719-7

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

26.

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

by

Biere, Armin. editor.

http://dx.doi.org/10.1007/11814948

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

27.

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

by

Marques-Silva, João. editor.

http://dx.doi.org/10.1007/978-3-540-72788-0

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

28.

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

by

Bacchus, Fahiem. editor.

http://dx.doi.org/10.1007/b137280

Format:

Elektronik Kaynak

Alıntı:

Operating systems (Computers).

29.

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

by

Maher, Michael J. editor.

http://dx.doi.org/10.1007/b103476

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

30.

Enterprise Information Systems V

by

Camp, Olivier. editor.

http://dx.doi.org/10.1007/1-4020-2673-0

Format:

Elektronik Kaynak

Alıntı:

Software Engineering/Programming and Operating Systems.

31.

Genetic Systems Programming Theory and Experiences

by

Nedjah, Nadia. editor.

http://dx.doi.org/10.1007/3-540-32498-4

Format:

Elektronik Kaynak

Alıntı:

Designing complex programs such as operating systems, compilers, filing systems, data base systems

32.

Visual Perception and Robotic Manipulation 3D Object Recognition, Tracking and Hand-Eye Coordination

by

Taylor, Geoffrey. author.

http://dx.doi.org/10.1007/978-3-540-33455-2

Format:

Elektronik Kaynak

Alıntı:

As autonomous robots expand into the service domain, new solutions to the challenge of operating in

33.

Mobile Robots: The Evolutionary Approach

by

Nedjah, Nadia. editor.

http://dx.doi.org/10.1007/978-3-540-49720-2

Format:

Elektronik Kaynak

Alıntı:

The design and control of autonomous intelligent mobile robotic systems operating in unstructured

34.

VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

by

Frintrop, Simone. author.

http://dx.doi.org/10.1007/11682110

Format:

Elektronik Kaynak

Alıntı:

designing object recognition systems is to construct methods that are fast and capable of operating on

35.

Swarm Intelligent Systems

by

Nedjah, Nadia. editor.

http://dx.doi.org/10.1007/978-3-540-33869-7

Format:

Elektronik Kaynak

Alıntı:

these good positions. Instead of designing complex and centralized systems, nowadays designers rather

36.

Ambient Intelligence

by

Weber, Werner. editor.

http://dx.doi.org/10.1007/b138670

Format:

Elektronik Kaynak

Alıntı:

Services in Ambient Intelligence Networks -- Security for Ambient Intelligent Systems -- Low-Cost Wireless

37.

Advances in Biologically Inspired Information Systems Models, Methods, and Tools

by

Dressler, Falko. editor.

http://dx.doi.org/10.1007/978-3-540-72693-7

Format:

Elektronik Kaynak

Alıntı:

systems that are capable of operating under changing environments and noisy input, and yet exhibit the

38.

Multi-Objective Machine Learning

by

Jin, Yaochu. editor.

http://dx.doi.org/10.1007/3-540-33019-4

Format:

Elektronik Kaynak

Alıntı:

-- Agent Based Multi-Objective Approach to Generating Interpretable Fuzzy Systems -- Multi-objective

39.

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

by

Odell, James. editor.

http://dx.doi.org/10.1007/b105022

Format:

Elektronik Kaynak

Alıntı:

interference. Agent concepts hold great promise for responding to the new realities of software systems. They o

40.

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part II

by

Meersman, Robert. editor.

http://dx.doi.org/10.1007/11575801

Format:

Elektronik Kaynak

Alıntı:

Sensitive Information Leakage in Distributed Object Systems: A Colored Petri Net Based Model -- Offline

41.

Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

by

Pejaś, Jerzy. editor.

http://dx.doi.org/10.1007/b101135

Format:

Elektronik Kaynak

Alıntı:

separable dynamical systems in the neural network basis -- Improvement of the processors operating ratio in

42.

Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings

by

Kokinov, Boicho. editor.

http://dx.doi.org/10.1007/978-3-540-74255-5

Format:

Elektronik Kaynak

Alıntı:

Continuations in Operating Systems -- Explanations and Context in Ambient Intelligent Systems

43.

Computer-Human Interaction 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings

by

Lee, Seongil. editor.

http://dx.doi.org/10.1007/978-3-540-70585-7

Format:

Elektronik Kaynak

Alıntı:

Based Vision System for Network Based Mobile Robot -- Embedded Robot Operating Systems for Human-Robot

	{displayName}	{count}
{error}