4770 search results - page 73 / 954 » Flexible Type Analysis |
137
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
172
click to vote
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
: Heterogeneous wireless sensor networks represent a challenging programming environment. Servilla addresses this by offering a new middleware framework that provides service provi...
169
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
With the growing number of service advertisements in service marketplaces, there is a need for matchmakers which select and rank functionally similar services based on nonfunction...
123
click to vote
HIKM
2006
ACM
15 years 10 months ago
2006
ACM
Many methodologies have been proposed in the last decade for integration and exchange of medical data. However, little progress has occurred due to the following reasons. First, p...
142
click to vote
JTAER
2010
15 years 2 months ago
2010
In service-oriented systems a constellation of services cooperate, sharing potentially sensitive information and responsibilities. Cooperation is only possible if the different pa...