Sciweavers

2131 search results - page 306 / 427
» Multi-Agent System Development: Design, Runtime, and Analysi...
Sort
View
EWSA
2005
Springer
14 years 2 months ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
SCS
2003
13 years 10 months ago
Safety Assurance Contracts for Integrated Modular Avionics
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
Philippa Conmy, Mark Nicholson, John A. McDermid
JSW
2008
116views more  JSW 2008»
13 years 9 months ago
A Task-oriented Approach to Search Engine Usability Studies
Usability is a multi-dimensional characteristic of a computer system. This paper focuses on usability as a measurement of interaction between the user and the system. The research ...
Isak Taksa, Amanda Spink, Robert Goldberg
IRI
2007
IEEE
14 years 3 months ago
SRG: A Digital Document-Enhanced Service Oriented Research Grid
We describe a new framework for building a system that consists of tools and services for supporting Cyberinfrastructure based scientific research. This system, called the Semanti...
Geoffrey Fox, Ahmet Fatih Mustacoglu, Ahmet E. Top...
FDL
2006
IEEE
14 years 3 months ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt