Sciweavers

1368 search results - page 124 / 274
» A Hybrid Reputation Model Based on the Use of Organizations
Sort
View
ECIS
2004
15 years 7 months ago
Business architecture: a new paradigm to relate e-business strategy to ICT
In this paper we address the concept of business architecture. We explain the concept and, based on a case study, discuss its relevance, operation, relationship with strategy and ...
Gerrit Versteeg, Harry Bouwman
MOBISYS
2007
ACM
16 years 6 months ago
A time-and-value centric provenance model and architecture for medical event streams
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
Min Wang, Marion Blount, John Davis, Archan Misra,...
SYNASC
2005
IEEE
84views Algorithms» more  SYNASC 2005»
15 years 12 months ago
Membrane Computing as a Framework for Modeling Economic Processes
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
Gheorghe Paun, Radu A. Paun
BMCBI
2010
150views more  BMCBI 2010»
15 years 6 months ago
Systematic calibration of a cell signaling network model
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
Kyoung Ae Kim, Sabrina L. Spencer, John G. Albeck,...
CHARME
2005
Springer
176views Hardware» more  CHARME 2005»
15 years 12 months ago
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P...