Sciweavers

4476 search results - page 784 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
ISSAC
2005
Springer
94views Mathematics» more  ISSAC 2005»
15 years 12 months ago
Domains and expressions: an interface between two approaches to computer algebra
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
Cosmin E. Oancea, Stephen M. Watt
ATAL
2004
Springer
15 years 11 months ago
Demonstrating Social Error Recovery with AgentFactory
In real world applications, agents - be they software agents or autonomous robots - inevitably face erroneous situations that have not been planned for. Re-planning can sometimes ...
Robert J. Ross, Rem W. Collier, Gregory M. P. O'Ha...
DEXA
2004
Springer
180views Database» more  DEXA 2004»
15 years 11 months ago
Algebra-to-SQL Query Translation for Spatio-Temporal Databases
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
Mohammed Minout, Esteban Zimányi
ISSRE
2003
IEEE
15 years 11 months ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...
LAWEB
2003
IEEE
15 years 11 months ago
Collaborative Learning and Creative Writing
CSCL software tools must provide support for group work and should be based on a collaborative learning technique. The PBL based CCCuento tool is introduced here. It is intended t...
Luis A. Guerrero, Boris Mejías, Césa...