2588 search results - page 195 / 518 » Applications of Kolmogorov complexity to computable model th... |
232
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
152
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
160
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
162
click to vote
CSREAPSC
2006
15 years 8 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
200
click to vote
AUTONOMICS
2009
ACM
16 years 1 months ago
2009
ACM
Supervisory control is the main means to assure a high level performance and availability of large IT infrastructures. Applied control theory is used in physical and virtualization...