4211 search results - page 604 / 843 » A formal approach to MASQ |
180
click to vote
WABI
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...
198
click to vote
AICT
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
178
click to vote
HPCS
2006
IEEE
16 years 21 days ago
2006
IEEE
An eXtensible Markup Language (XML) based data model for the Global Geodynamics Project (GGP) has been previously developed. Mindful of the need to incorporate metadata into the d...
150
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
189
click to vote
ICDCS
2005
IEEE
16 years 7 days ago
2005
IEEE
The link structure of the Web graph is used in algorithms such as Kleinberg’s HITS and Google’s PageRank to assign authoritative weights to Web pages and thus rank them. Both ...