1724 search results - page 198 / 345 » Models for Concurrency |
195
Voted
ECMDAFA
2005
Springer
16 years 15 days ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
164
click to vote
FSTTCS
2005
Springer
16 years 15 days ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
226
click to vote
EKAW
1992
Springer
15 years 11 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
225
Voted
DBSEC
1996
15 years 8 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 ...
265
Voted
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— The web today is increasingly characterized by social and real-time signals, which we believe represent two frontiers in information retrieval. In this paper, we present Earlyb...