Sciweavers

1941 search results - page 175 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
16 years 5 months ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
ICST
2008
IEEE
15 years 11 months ago
State-Based Testing of Ajax Web Applications
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
ADBIS
2010
Springer
173views Database» more  ADBIS 2010»
15 years 5 months ago
Applying the UFO Ontology to Design an Agent-Oriented Engineering Language
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
Renata S. S. Guizzardi, Giancarlo Guizzardi
TCBB
2011
15 years 2 hour ago
Semi-Markov Models for Brownian Dynamics Permeation in Biological Ion Channels
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...
Vikram Krishnamurthy, Kai Yiu Luk
WSC
2004
15 years 6 months ago
Modeling Real-World Control Systems: Beyond Hybrid Systems
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
Stephen Neuendorffer