Sciweavers

294 search results - page 3 / 59
» Using activity theory to develop a design framework for rura...
Sort
View
SIBGRAPI
1999
IEEE
13 years 9 months ago
Developing Morphological Building Blocks: From Design to Implementation
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
Marcos Cordeiro d'Ornellas, Rein van den Boomgaard
AUIC
2004
IEEE
13 years 8 months ago
Delegation Diagrams: Visual Support for the Development of Object-Oriented Designs
Developers have long used pictures to aid design activities and there has been a lot of interest in standard notations for design. We have developed delegation diagrams, a graphic...
Ewan D. Tempero, James Noble, Robert Biddle
IBERAMIA
2004
Springer
13 years 10 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ECIS
2004
13 years 6 months ago
Developing and Codifying business models and process models in e-business design
The development of business models for eBusiness has become increasing popular within both the academic and business arena. We believe that many of the business models for eBusine...
Philip Joyce, Graham Winch
JIIS
2008
104views more  JIIS 2008»
13 years 4 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato