Sciweavers

1815 search results - page 181 / 363
» Cloud Computing: An Overview
Sort
View
SOFSEM
1999
Springer
15 years 2 months ago
Software Change and Evolution
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...
Vaclav Rajlich
ECOOPW
1998
Springer
15 years 2 months ago
Assessing Aspect-Oriented Programming: Preliminary Results
The aspect-oriented programming approach claims to make it easier to reason about, develop, and maintain certain kinds of application code while maintaining highly e cient code. To...
Robert J. Walker, Elisa L. A. Baniassad, Gail C. M...
IBERAMIA
1998
Springer
15 years 2 months ago
The "Semantics" of Evolution: Trajectories and Trade-offs in Design Space and Niche Space
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
Aaron Sloman
CONCUR
1989
Springer
15 years 2 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
ICCHP
2010
Springer
15 years 2 months ago
Making Digital Maps Accessible Using Vibrations
Abstract. In order to allow blind and deafblind people to use and explore electronically available maps, we have developed a system that displays maps in a tactile way using a stan...
Bernhard Schmitz, Thomas Ertl