Search Sciweavers | Sciweavers

11168 search results - page 47 / 2234

» Abstract State Processes

154

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

16 years 19 days ago

Download www.win.tue.nl

Michel A. Reniers, Muck van Weerdenburg

claim paper

Read More »

161

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 17 days ago

Download homepages.di.fc.ul.pt

Luís Morgado, Graça Gaspar

claim paper

Read More »

157

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 15 days ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

143

click to vote

QEST
2006
IEEE

93views Modeling and Simulation» more QEST 2006»

Game-based Abstraction for Markov Decision Processes

16 years 14 days ago

Download qav.comlab.ox.ac.uk

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

124

click to vote

EEE
2005
IEEE

108views Information Technology» more EEE 2005»

Consistency between Executable and Abstract Processes

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers