Search Sciweavers | Sciweavers

11168 search results - page 20 / 2234

» Abstract State Processes

click to vote

ER
2008
Springer

107views Database» more ER 2008»

Abstract State Services

13 years 9 months ago

Download www.informatik.uni-kiel.de

act State Services Hui Ma1 Klaus-Dieter Schewe2 Bernhard Thalheim Qing Wang4 Bericht Nr. 0804 Mai 2008 CHRISTIAN-ALBRECHTS-UNIVERSIT

Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qi...

claim paper

Read More »

click to vote

HYBRID
2009
Springer

110views Control Systems» more HYBRID 2009»

Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

14 years 2 months ago

Download www.suzlab.nuem.nagoya-u.ac.jp

Yuichi Tazaki, Jun-ichi Imura

claim paper

Read More »

click to vote

ICFEM
2009
Springer

80views Software Engineering» more ICFEM 2009»

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

14 years 2 months ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...

claim paper

Read More »

click to vote

APSCC
2008
IEEE

131views Applied Computing» more APSCC 2008»

Abstract State Machine Models for Basic Service-Oriented Architectures

14 years 2 months ago

Download work.thekirchbergs.info

Markus Kirchberg

claim paper

Read More »

click to vote

AUSAI
2007
Springer

97views Artificial Intelligence» more AUSAI 2007»

Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers