2586 search results - page 409 / 518 » Automatic Abstraction for Congruences |
DGO
2007
15 years 1 months ago
2007
A stakeholder is an individual, group, organization, or community that has an interest or stake in a consensus-building process. The goal of stakeholder identification is identify...
ECSCW
2007
15 years 1 months ago
2007
Abstract. There is a growing interest in technologies for supporting individuals to manage their accessibility for interruptions. The applicability of these technologies is likely ...
LREC
2010
15 years 1 months ago
2010
A novel method to automatically associate ontological concepts to their realisations in texts is presented. The method has been developed in the context of the Papyrus project to ...
SERVICES
2010
15 years 1 months ago
2010
Abstract--Exchanging structured business documents is inevitable for successful collaboration in electronic commerce. A prerequisite, for fostering the interoperability between bus...
FORTE
2007
15 years 1 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...