307 search results - page 33 / 62 » Towards Generic Refactoring |
116
Voted
ER
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we present a volume data model amenable to querying volumes in databases. Unlike most existing volume models, which are directed towards specific applications (notab...
134
Voted
PATAT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
164
Voted
IFIP8
2004
15 years 6 months ago
2004
Mobile ad hoc networks (MANET) offer a convenient basis towards pervasive computing, due to inherent support for anytime, anywhere network access for mobile users. However, the dev...
ECIS
2000
15 years 6 months ago
2000
The advent of the internet is revolutionizing the financial services industry. In the future, electronic banking (EB) will become a strategic factor, evolving from mere transaction...
160
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...