Sciweavers

11168 search results - page 45 / 2234
» Abstract State Processes
Sort
View
KIVS
2009
Springer
14 years 5 months ago
Abstract User Interfaces for Mobile Processes
User Interfaces for Mobile Processes Sonja Zaplata, Ante Vilenica, Dirk Bade, Christian P. Kunze Distributed Systems and Information Systems, Computer Science Department, Universit...
Sonja Zaplata, Ante Vilenica, Dirk Bade, Christian...
SIPS
2007
IEEE
14 years 5 months ago
Rapid Abstract Control Model for Signal Processing Implementation
Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan
CMSB
2008
Springer
14 years 29 days ago
Integrated Analysis from Abstract Stochastic Process Algebra Models
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
Jane Hillston, Federica Ciocchetta, Adam Duguid, S...
FM
2009
Springer
90views Formal Methods» more  FM 2009»
14 years 5 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
BPM
2009
Springer
79views Business» more  BPM 2009»
14 years 2 months ago
The Triconnected Abstraction of Process Models
ion of Process Models Artem Polyvyanyy, Sergy Smirnov, Mathias Weske Technischer Bericht Deckblatt Rückseite.indd 1 17.12.2008 13:26:50 Uhr
Artem Polyvyanyy, Sergey Smirnov 0002, Mathias Wes...