UB Paderborn / Katalog / Suche / in CDI

Foundations of Software Engineering: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering; 05-09 Sept. 2005, 2005, p.263-272

2005

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 243

Suche als RSS-Feed

Aktive Filter

ThemaComputing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages

KollektionIngenta

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(27)
Mit Volltextzugriff
(233)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(65)
Computer Science
(62)
Technology
(55)
Computer Programming / Software Development
(41)
Computer Science, Theory & Methods
(29)
Computer Science, Software Engineering
(17)
Computational Modeling
(15)
Computer Science, Information Systems
(13)
Software Engineering
(12)
Software
(10)
Wireless Sensor Networks
(10)
Actors
(9)
Costs
(9)
Engineering
(9)
Java
(9)
Monitoring
(9)
Open Systems
(9)
Application Software
(8)
Engineering, Electrical & Electronic
(8)
Life Sciences & Biomedicine
(8)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

A Survey of Statistical Model Checking

A Scalable Algorithm for Decentralized Actor Termination Detection

A Novel Technique for Human Traffic based Radio Map Updating in Wi-Fi Indoor Positioning Systems

A Novel Technique for Human Traffic based Radio Map Updating in Wi-Fi Indoor Positioning Systems

Proceedings of the First International Workshop on Formal Methods for and on the Cloud: Actors and Meta-Actors: Two-Level for Reasoning about Cloud Infrastructure

A Framework for State-Space Exploration of Java-Based Actor Programs

A formal model for reasoning about adaptive QoS-enabled middleware

Parameterized Concurrent Multi-Party Session Types

Eventual consensus in Synod: verification using a failure-aware actor model

Introduction to the Software Technology Track

Performance evaluation of sensor networks by statistical modeling and euclidean model checking

Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource Management

Probabilistic Programming, Estimation, and Euclidean Model Checking for Aggregate Behavior of Concurrent Systems: Invited Presentation at the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems

Introduction to the Software Technology Track

Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure

Application of the Integrated Behavior Model to Explain and Promote Uptake of Modern Family Planning Methods among Married Women of Reproductive Age in Rural Areas of Punjab, Pakistan: The IRADA Project

Introduction to Software Technology Track

Scalable Modeling and Performance Evaluation of Wireless Sensor Networks

Introduction to Software Technology Track

A compositional approach for modeling and timing analysis of wireless sensor and actuator networks

A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems

Introduction to the Software Technology Track

Costless: Optimizing Cost of Serverless Computing through Function Fusion and Placement

Towards a hierarchical taxonomy of autonomous agents

CUTE: a concolic unit testing engine for C

Aktive Filter

Suchergebnisse filtern