124 search results - page 9 / 25 » Safraless Procedures for Timed Specifications |
ICETE
2004
13 years 9 months ago
2004
: - Modern intrusion detection systems are comprised of three basically different approaches, host based, network based, and a third relatively recent addition called procedural ba...
BMCBI
2006
13 years 7 months ago
2006
Background: In gene networks, the timing of significant changes in the expression level of each gene may be the most critical information in time course expression profiles. With ...
PG
2002
IEEE
14 years 16 days ago
2002
IEEE
Solid texturing is a well-known computer graphics technology, but still has problems today, because it consumes too much time if every pixel is calculated on the fly or has a very...
HICSS
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper describes a highly mobile collaborative patient-centric, self-monitoring, symptom recognition and self intervention system along with a complementary clinical nursing t...
CCE
2004
13 years 7 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...