2786 search results - page 128 / 558 » A Practical Technique for Process Abstraction |
102
click to vote
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
Document security is an increasingly important element in the multi-faceted discipline of document processing, and authentication of individual identity will play an increasingly ...
122
click to vote
FUIN
2007
15 years 1 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
113
Voted
BIS
2009
15 years 2 months ago
2009
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
112
Voted
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
124
click to vote
MPC
2010
Springer
15 years 6 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...