3032 search results - page 433 / 607 » Complexity of sequences and dynamical systems |
132
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
150
click to vote
CCR
2004
15 years 5 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
138
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
The focus of this work is the requirements engineering process in the home care domain. The overall aim is to design and document a flexible methodology to facilitate the elicitat...
139
Voted
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— During a complete running stride, which involves significant periods of flight during which no legs are contacting the ground, a quadruped cannot employ static stability tech...
153
click to vote
IM
2007
15 years 7 months ago
2007
—Policy-driven service management helps reduce IT management cost and it keeps the service management aligned with business objectives. While most of the previous research focuse...