Sciweavers

4126 search results - page 566 / 826
» Modelling Electronic Organizations
Sort
View
EMISA
2006
Springer
15 years 10 months ago
Implementing a Service-Oriented Architecture for Small and Medium Organisations
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...
Pascal Bauler, Fernand Feltz, Nicolas Biri, Philip...
FMCAD
2000
Springer
15 years 10 months ago
A Methodology for Large-Scale Hardware Verification
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
Mark Aagaard, Robert B. Jones, Thomas F. Melham, J...
VW
2000
Springer
128views Virtual Reality» more  VW 2000»
15 years 10 months ago
The World of Framsticks: Simulation, Evolution, Interaction
A three-dimensional virtual world simulation is described, where evolution takes place and it is possible to investigate behaviors of creatures in real-time. Bodies of these creatu...
Maciej Komosinski
SEKE
1995
Springer
15 years 10 months ago
Visual Scenarios for Validation of Requirements Specification
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
V. Lalioti, Babis Theodoulidis
DESRIST
2009
Springer
135views Education» more  DESRIST 2009»
15 years 10 months ago
Towards a design theory for online communities
Online communities are increasingly important in modern social life. Yet, the diverse collection of guidelines that have directed online community design may not be keeping pace w...
David Gurzick, Wayne G. Lutters