1856 search results - page 338 / 372 » Formal Dialectic Specification |
126
click to vote
JUCS
2008
15 years 1 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
136
click to vote
JUCS
2008
15 years 1 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
132
click to vote
JMLR
2006
15 years 1 months ago
2006
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
108
click to vote
MICRO
2008
IEEE
15 years 1 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
135
click to vote
JCIT
2007
15 years 1 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...