Sciweavers

899 search results - page 63 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
CAISE
2006
Springer
14 years 18 days ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
BMCBI
2006
154views more  BMCBI 2006»
13 years 9 months ago
Agile methods in biomedical software development: a multi-site experience report
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...
David W. Kane, Moses M. Hohman, Ethan G. Cerami, M...
VMCAI
2012
Springer
12 years 4 months ago
A General Framework for Probabilistic Characterizing Formulae
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
Joshua Sack, Lijun Zhang
SBRN
2000
IEEE
14 years 1 months ago
Non-Linear Modelling and Chaotic Neural Networks
This paper proposes a simple methodology to construct an iterative neural network which mimics a given chaotic time series. The methodology uses the Gamma test to identify a suita...
Antonia J. Jones, Steve Margetts, Peter Durrant, A...
FM
2003
Springer
136views Formal Methods» more  FM 2003»
14 years 2 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...