4890 search results - page 760 / 978 » From system specifications to component behavioral models |
138
Voted
SDM
2012
SIAM
13 years 3 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
77
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
101
click to vote
MEDINFO
2007
15 years 2 months ago
2007
This paper presents an idealized conceptual framework for consumer health informatics research drawing from complementary disciplines: information science and health campaign rese...
115
Voted
BMCBI
2008
15 years 24 days ago
2008
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...