UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

An introduction to rapid system prototyping

IEEE transactions on software engineering, 2002-09, Vol.28 (9), p.817-821

2002

Volltextzugriff (PDF)

Toward Formal-Methods Oecumenism?

IEEE distributed systems online, 2006-07, Vol.7 (7), p.2-2

2006

Volltextzugriff (PDF)

Toward nex-generation middleware?

IEEE distributed systems online, 2005-03, Vol.6 (3)

2005

Volltextzugriff (PDF)

Model Driven Engineering versus Organic Computing, Two Complementary Approaches

2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009, p.99-100

Kordon, F.

2009

Volltextzugriff (PDF)

Revisiting COTS middleware for DRE systems

Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), 2005, p.72-79

2005

Volltextzugriff (PDF)

Design Methodologies for Embedded Systems: Where is the Super-Glue?

2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008, p.358-359

Kordon, F.

2008

Volltextzugriff (PDF)

Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems

10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), 2007, p.420-427

Kordon, F.

2007

Volltextzugriff (PDF)

Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets

2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 2009, p.26-33

2009

Volltextzugriff (PDF)

From AADL Architectural Models to Petri Nets: Checking Model Viability

2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009, p.313-320

2009

Volltextzugriff (PDF)

State Space Analysis Using Symmetries on Decision Diagrams

2012 12th International Conference on Application of Concurrency to System Design, 2012, p.164-172

2012

Volltextzugriff (PDF)

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems

Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006, p.273-275

2006

Volltextzugriff (PDF)

A framework for DRE middleware, an application to DDS

Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06), 2006, p.8 pp.

2006

Volltextzugriff (PDF)

Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario

17th International Workshop on Database and Expert Systems Applications (DEXA'06), 2006, p.299-303

2006

Volltextzugriff (PDF)

Rapid Prototyping of Intrusion Detection Systems

18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07), 2007, p.89-98

2007

Volltextzugriff (PDF)

Using MetaScribe to prototype a UML to C++/Ada95 code generator

Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668), 2000, p.128-133

2000

Volltextzugriff (PDF)

From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models

Proceedings 3rd International Symposium on Distributed Objects and Applications, 2001, p.165-175

2001

Volltextzugriff (PDF)

Testing prototypes validity to enhance code reuse

Proceedings. Ninth International Workshop on Rapid System Prototyping (Cat. No.98TB100237), 1998, p.6-12

1998

Volltextzugriff (PDF)

Structuration of large scale Petri nets: an association with higher level formalisms for the design of multi-agent systems

1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929), 1996, Vol.4, p.3198-3203 vol.4

1996

Volltextzugriff (PDF)

Behavioral modular description of fault tolerant distributed systems with AADL Behavioral Annex

2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), 2010, p.17-24

2010

Volltextzugriff (PDF)

Rapid Ada prototyping: principles and example of a complex application

Ninth Annual International Phoenix Conference on Computers and Communications. 1990 Conference Proceedings, 1990, p.453-460

1990

Volltextzugriff (PDF)

Proposal for a generic prototyping approach

ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings, 1994, p.396-403