1724 search results - page 198 / 345 » Models for Concurrency |
ECMDAFA
2005
Springer
15 years 3 months 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...
FSTTCS
2005
Springer
15 years 3 months 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...
116
click to vote
EKAW
1992
Springer
15 years 2 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...
109
click to vote
DBSEC
1996
14 years 11 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 ...
136
click to vote
ICDE
2012
IEEE
13 years 14 days 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...