1700 search results - page 231 / 340 » Specifying and implementing refactorings |
135
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
150
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
In previous papers, we have presented a logic-based framework for merging structured news reports [14, 16, 15]. Structured news reports are XML documents, where the text entries ar...
176
click to vote
HUMAN
2003
Springer
15 years 11 months ago
2003
Springer
Auctions have become popular in conducting trade negotiations on the Internet. The design of new auction formats and other negotiation protocols has become an important topic for r...
168
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
162
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— In this paper we present a cross-domain application for ambient and health monitoring. The system architecture is intended to be openly extensible in order to fulfil unanticipa...