311 search results - page 15 / 63 » DisCComp - A Formal Model for Distributed Concurrent Compone... |
152
click to vote
LICS
1998
IEEE
15 years 6 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
142
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
126
click to vote
POPL
2004
ACM
15 years 8 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
150
Voted
DBSEC
1996
15 years 3 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
157
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...