6355 search results - page 906 / 1271 » From Logic to Games |
183
click to vote
SEMWEB
2007
Springer
16 years 29 days ago
2007
Springer
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
190
click to vote
TABLEAUX
2007
Springer
16 years 29 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
169
click to vote
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the c...
143
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
Structured-ASIC design provides a mid-way point between FPGA and cell-based ASIC design for performance, area and power, but suffers from the same increasing verification burden a...
200
click to vote
EDOC
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...