Sciweavers

4987 search results - page 369 / 998
» Fuzzifying P Systems
Sort
View
164
Voted
FORTE
1998
15 years 7 months ago
Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
Nikos S. Voros, S. K. Tsasakou, C. Valderrama, S. ...
BPM
2009
Springer
153views Business» more  BPM 2009»
15 years 7 months ago
DECLARE Demo: A Constraint-based Workflow Management System
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...
AMC
2008
108views more  AMC 2008»
15 years 6 months ago
Improved exponential stability for time-varying systems with nonlinear delayed perturbations
In this paper, a new sufficient delay dependent exponential stability condition for a class of linear time-varying systems with nonlinear delayed perturbations is derived by using...
P. Niamsup, K. Mukdasai, V. N. Phat
BMCBI
2008
106views more  BMCBI 2008»
15 years 6 months ago
Integrating biological data - the Distributed Annotation System
Background: The Distributed Annotation System (DAS) is a widely adopted protocol for dynamically integrating a wide range of biological data from geographically diverse sources. D...
Andrew M. Jenkinson, Mario Albrecht, Ewan Birney, ...
CACM
2006
160views more  CACM 2006»
15 years 6 months ago
Service systems, service scientists, SSME, and innovation
: Computer scientists work with formal models of algorithms and computation, and someday service scientists may work with formal models of service systems, which we define as value...
Paul P. Maglio, Savitha Srinivasan, Jeffrey T. Kre...