Sciweavers

4348 search results - page 290 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
NAR
2006
98views more  NAR 2006»
15 years 6 months ago
oGNM: online computation of structural dynamics using the Gaussian Network Model
An assessment of the equilibrium dynamics of biomolecular systems, and in particular their most cooperativefluctuationsaccessibleundernativestate conditions, is a first step towar...
Lee-Wei Yang, A. J. Rader, Xiong Liu, Christopher ...
HICSS
2005
IEEE
115views Biometrics» more  HICSS 2005»
16 years 8 days ago
Exploring the Psychological Determinants of Perceived Ease of Use and Usefulness
The question of why individuals adopt a particular information system is an important issue in IS research. While extensive prior research has established that the Technology Acce...
Bryan A. Reinicke, George M. Marakas
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 11 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
TSP
2010
15 years 1 months ago
A recursive method for the approximation of LTI systems using subband processing
Using the subband technique, an LTI system can be implemented by the composition of an analysis filterbank, followed by a transfer matrix (subband model) and a synthesis filterbank...
Damián Marelli, Minyue Fu
ADAEUROPE
2005
Springer
16 years 6 days ago
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
Mario Aldea Rivas, Javier Miranda, Michael Gonz&aa...