2715 search results - page 279 / 543 » An Implementation of Narrowing Strategies |
175
click to vote
EGOV
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. As the e-government domain is about to become a field of application for Semantic Web technologies, the actors involved still lack reasoning to decide on critical issues ...
138
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
187
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
We present an approach for adaptive scheduling of soft realtime legacy applications (for which no timing information is exposed to the system). Our strategy is based on the combin...
213
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
140
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the most important task in surgical simulation is the ability to cut volumetric organs. Several algorithms have already been described but none of them can actually maintai...