Sciweavers

278 search results - page 19 / 56
» A Model of Dynamic Binding in .NET
Sort
View
HYBRID
2003
Springer
14 years 19 days ago
Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
Leandro G. Barajas, Ashish Kansal, Abhinav Saxena,...
FMOODS
2007
13 years 8 months ago
Model Checking of Extended OCL Constraints on UML Models in SOCLe
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
John Mullins, Raveca Oarga
ICMENS
2003
IEEE
80views Hardware» more  ICMENS 2003»
14 years 21 days ago
Molecular Dynamics Calculations of the Electrostatic Properties of Tubulin and Their Consequences for Microtubules
crystallographic results were made available through the Protein Data Bank (PDB) (entries: ITUB and IJFF) which allowed us to view the 3D atomic resolution structure oftubulin. (se...
J. A. Tuszynski, E. J. Carpenter, E. Crawford, J. ...
SEKE
2007
Springer
14 years 1 months ago
TRAP.NET: A Realization of Transparent Shaping in .NET
We define adaptability as the capacity of software in adjusting its behavior in response to changing conditions. To list just a few examples, adaptability is important in pervasiv...
Seyed Masoud Sadjadi, Fernando Trigoso
JIKM
2008
98views more  JIKM 2008»
13 years 7 months ago
Knowledge-Based Expert System Development and Validation with Petri Nets
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
Madjid Tavana