14298 search results - page 139 / 2860 » Dynamic Languages and Applications |
170
click to vote
AIA
2006
15 years 6 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
129
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
In this research we investigate an approach for adaptive dynamic instruction set extension, tuning processors to specific applications after fabrication. Categories and Subject De...
161
click to vote
DEXAW
2010
IEEE
15 years 6 months ago
2010
IEEE
One possible threat to linked data quality is the lack of knowledge about the dynamics in dependent remote datasets. Linked data consuming applications often need to be aware of ch...
143
click to vote
MEDINFO
2007
15 years 6 months ago
2007
OpenEHR specifications have been developed to standardise the representation of an international electronic health record (EHR). The language used for querying EHR data is not as ...
256
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...