2308 search results - page 296 / 462 » Representing Symbolic Reasoning |
147
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
179
click to vote
WLP
2004
Springer
15 years 11 months ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
158
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
273
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
165
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...