1700 search results - page 140 / 340 » Specifying and implementing refactorings |
105
Voted
ISMIR
2003
Springer
15 years 10 months ago
2003
Springer
Systems for sound retrieval are usually “sourcecentred”. This means that retrieval is based on using the proper keywords that define or specify a sound source. Although this t...
150
Voted
ACSC
2002
IEEE
15 years 10 months ago
2002
IEEE
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
128
Voted
DSD
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
138
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
160
click to vote
CEEMAS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...