Sciweavers

2639 search results - page 103 / 528
» Improving Web Design Methods with Architecture Modeling
Sort
View
EDOC
2008
IEEE
14 years 3 months ago
Augmenting the Zachman Enterprise Architecture Framework with a Systemic Conceptualization
The Zachman Framework offers a classification of the models created in an enterprise architecture project. These models form a holistic representation of the organization. Despite...
Alain Wegmann, Anders Kotsalainen, Lionel Matthey,...
TII
2008
98views more  TII 2008»
13 years 9 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
AIMSA
2004
Springer
14 years 2 months ago
The Web as an Autobiographical Agent
The reward-based autobiographical memory approach has been applied to the Web search agent. The approach is based on the analogy between the Web and the environmental exploration b...
Maya Dimitrova, Emilia I. Barakova, Tino Lourens, ...
BMCBI
2010
109views more  BMCBI 2010»
13 years 9 months ago
Prediction of the binding affinities of peptides to class II MHC using a regularized thermodynamic model
Background: The binding of peptide fragments of extracellular peptides to class II MHC is a crucial event in the adaptive immune response. Each MHC allotype generally binds a dist...
Andrew J. Bordner, Hans D. Mittelmann
RSP
1999
IEEE
14 years 1 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters