7366 search results - page 488 / 1474 » Development of the Information Systems Implementation Resear... |
147
Voted
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
257
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
192
click to vote
JUCS
2008
15 years 6 months ago
2008
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
166
click to vote
WER
2004
Springer
16 years 4 days ago
2004
Springer
Systems development methodologies continue to be a central area of research in software engineering. As the nature of applications and systems usage move increasingly towards open ...
221
click to vote
IDMS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we propose a new paradigm for local communication between devices in Ubiquitous Computing environments, assuming a multitude of computerized everyday appliances comm...