2132 search results - page 291 / 427 » Automated software winnowing |
130
Voted
KR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we propose a framework that provides software and robotic agents with the ability to ask approximate questions to each other in the context of heterogeneous ontolog...
125
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
154
Voted
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
172
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
165
Voted
ISCIS
2003
Springer
15 years 10 months ago
2003
Springer
Electronic commerce technology offers the opportunity to integrate and optimize the global production and distribution on supply chain. Computers of various corporations, located t...