8555 search results - page 168 / 1711 » Property Based Coordination |
148
click to vote
ICSOC
2009
Springer
15 years 2 months ago
2009
Springer
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
153
click to vote
BCB
2010
14 years 11 months ago
2010
Recent studies suggest that the mammalian genomes can be subdivided in segments within which there is limited haplotype diversity. Understanding the distribution and structure of ...
157
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
In addition to its technical merits as a challenging non-rigid motion and structural integrity analysis problem, quantitative estimation of cardiac regional functions and material...
177
click to vote
ECMDAFA
2009
Springer
15 years 11 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
136
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...