9145 search results - page 1439 / 1829 » Description Logic Systems |
194
click to vote
ICLP
2003
Springer
16 years 2 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
170
click to vote
BIBM
2009
IEEE
15 years 12 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
178
click to vote
CODES
2002
IEEE
15 years 12 months ago
2002
IEEE
Dynamic run-time scheduling in System-on-Chip platforms has become recently an active area of research because of the performance and power requirements of new applications. Moreo...
174
click to vote
GLVLSI
2002
IEEE
15 years 12 months ago
2002
IEEE
The paper presents a satisfiability-based method for solving the board-level multiterminal net routing problem in Clos-Folded FPGA based logic emulation systems. The approach tran...
177
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
The state of service management practice and the developments in ICT-efficiency research prompt the call for managerial relevance, normative theory building and the conceptualizat...