2493 search results - page 339 / 499 » Tool Support for Design by Contract |
CE
2007
14 years 10 months ago
2007
The two separate projects described have examined how teachers exploit computer-based technologies in supporting learning of science at secondary level. This paper examines how pe...
111
click to vote
PVLDB
2008
14 years 9 months ago
2008
Supporting graceful schema evolution represents an unsolved problem for traditional information systems that is further exacerbated in web information systems, such as Wikipedia a...
ROBOCUP
1999
Springer
15 years 2 months ago
1999
Springer
The underlying research topics and the architecture of the UBU team are briefly described. The aim of developing UBU is to subject a series of tools and procedures for agent decis...
83
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: The huge amount of biological information, its distribution over the Internet and the heterogeneity of available software tools makes the adoption of new data integrat...
157
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...