2786 search results - page 121 / 558 » A Practical Technique for Process Abstraction |
151
click to vote
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
122
click to vote
INTERACT
2003
15 years 3 months ago
2003
: Activity Theory (AT) has been a recognised framework for enhancing design practices in HCI and related disciplines for a couple of decades. In most cases, AT has been deployed as...
130
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
ive CLP® ABSTRACT Ali A. Milani Broadband speech enhancement and active noise control nvironment ABSTRACT Vanishree Gopalakrishna Real-Time Implementation of Signal Processing Str...
102
click to vote
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...