496 search results - page 31 / 100 » Model reduction of periodic systems: a lifting approach |
CCS
2008
ACM
13 years 10 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
ER
2007
Springer
14 years 2 months ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
HYBRID
2009
Springer
13 years 11 months ago
2009
Springer
A 3D biped with knees and a hip is naturally modeled as a nontrivial hybrid system; impacts occur when the knee strikes and when the foot impacts the ground causing a switch in the...
SCANGIS
2003
13 years 9 months ago
2003
Although, most of phenomena change over time, there has been an attempt to model the phenomena of real world assuming a static nature for them. Even when changes occurred in the p...
MACE
2009
Springer
14 years 3 months ago
2009
Springer
Learned models of behavior have the disadvantage that they must be retrained after any change in system configuration. Autonomic management methods based upon learned models lose ...