Search Sciweavers | Sciweavers

11168 search results - page 47 / 2234

» Abstract State Processes

149

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

16 years 4 days ago

Download www.win.tue.nl

Michel A. Reniers, Muck van Weerdenburg

claim paper

Read More »

156

click to vote

WAPCV
2007
Springer

129views Computer Vision» more WAPCV 2007»

Abstraction Level Regulation of Cognitive Processing Through Emotion-Based Attention Mechanisms

16 years 2 days ago

Download homepages.di.fc.ul.pt

Luís Morgado, Graça Gaspar

claim paper

Read More »

148

click to vote

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

16 years 1 days ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

134

click to vote

QEST
2006
IEEE

93views Modeling and Simulation» more QEST 2006»

Game-based Abstraction for Markov Decision Processes

15 years 12 months ago

Download qav.comlab.ox.ac.uk

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

118

click to vote

EEE
2005
IEEE

108views Information Technology» more EEE 2005»

Consistency between Executable and Abstract Processes

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers