Search Sciweavers | Sciweavers

4693 search results - page 20 / 939

» Verifying Hybrid Systems

Voted

AIPS
2006

90views Artificial Intelligence» more AIPS 2006»

Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems

15 years 1 months ago

Download www.informatik.uni-ulm.de

We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...

Bernd Schattenberg, Steffen Balzer, Susanne Biundo

claim paper

Read More »

Voted

NOMS
2000
IEEE

138views Communications» more NOMS 2000»

Policy-based hybrid management architecture for IP-based VPN

15 years 4 months ago

Download ain.kyungpook.ac.kr

Using IP-based Virtual Private Network (IP-VPN) technology, a company can establish its virtual private network over public networks. Recently, IP-VPN emerges as one of main techn...

Seung-Jin Baek, Moon-Sang Jeong, Jong-Tae Park, Ta...

claim paper

Read More »

115

click to vote

HPDC
2010
IEEE

206views Distributed And Parallel Com...» more HPDC 2010»

A hybrid Markov chain model for workload on parallel computers

15 years 1 months ago

Download www.irf.tu-dortmund.de

This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...

Anne Krampe, Joachim Lepping, Wiebke Sieben

claim paper

Read More »

Voted

HYBRID
2007
Springer

105views Control Systems» more HYBRID 2007»

Learning Cycle-Linear Hybrid Automata for Excitable Cells

15 years 6 months ago