Sciweavers

4418 search results - page 55 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
SAC
2005
ACM
15 years 9 months ago
Supporting e-commerce systems formalization with choreography languages
E-commerce as well as B2B applications are essentially based on interactions between different people and organizations (e.g. industry, banks, customers) that usually exploit the ...
Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gia...
DCAI
2008
15 years 5 months ago
Management Ubiquitous of Messages and Documents Organizational through Intelligent Agents
In the context of artificial intelligence, the multiagent systems are an alternative solution to address complex problems and distributed. PAINALLI is an multi-agent architecture f...
Rosa Cano, Juan G. Sánchez, Cristian Pinz&o...
WCRE
1999
IEEE
15 years 8 months ago
Recovering Code to Documentation Links in OO Systems
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...
SIGIR
1998
ACM
15 years 8 months ago
Modeling and Combining Evidence Provided by Document Relationships Using Probabilistic Argumentation Systems
Previous research has shown that hypertext links may be a useful source of evidence for document contents and relevance, but these evidence are rather difficult to represent and co...
Justin Picard
KI
2002
Springer
15 years 3 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos