4290 search results - page 579 / 858 » Formal Approaches to Teamwork |
142
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
181
Voted
WABI
2007
Springer
16 years 25 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...
202
click to vote
AICT
2006
IEEE
16 years 24 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...
179
click to vote
HPCS
2006
IEEE
16 years 23 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...
154
click to vote
DATE
2005
IEEE
16 years 10 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...