Sciweavers

4350 search results - page 274 / 870
» Case studies for contract-based systems
Sort
View
BIOSYSTEMS
2008
130views more  BIOSYSTEMS 2008»
15 years 6 months ago
Biological networks in metabolic P systems
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
Vincenzo Manca, Luca Bianco
144
Voted
IJAOSE
2008
83views more  IJAOSE 2008»
15 years 6 months ago
PASSIM: a simulation-based process for the development of multi-agent systems
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
Massimo Cossentino, Giancarlo Fortino, Alfredo Gar...
IJES
2008
101views more  IJES 2008»
15 years 6 months ago
The Artemis workbench for system-level performance evaluation of embedded systems
In this article, we present an overview of the Artemis workbench, which provides modelling and simulation methods and tools for efficient performance evaluation and exploration of ...
Andy D. Pimentel
INFSOF
2008
57views more  INFSOF 2008»
15 years 6 months ago
Consistency in multi-viewpoint design of enterprise information systems
Different stakeholders in the design of an enterprise information system have their own view on that design. To help produce a coherent design this paper presents a framework that...
Remco M. Dijkman, Dick A. C. Quartel, Marten van S...
JMM2
2008
74views more  JMM2 2008»
15 years 6 months ago
Discrete LQ Rate Control for MPEG2 Video Streaming System
-- In this paper, we propose a novel rate control system by applying the discrete linear quadratic rate control method (DLQ) to transmissions of MPEG2 streams in IP networks. We gi...
Xiaofei Zhou, Kenneth Ong