2624 search results - page 240 / 525 » The 2LIP model and its implementations |
168
click to vote
NOMS
2008
IEEE
16 years 14 days ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
162
click to vote
ICRA
2007
IEEE
16 years 11 days ago
2007
IEEE
Eye motion strategies in animals and humans have v e2 h2 the goal of optimizing visual perception, therefore, the study of eye motions plays an important role in the design of huma...
154
click to vote
PVM
2007
Springer
16 years 5 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
144
click to vote
DSN
2005
IEEE
15 years 11 months ago
2005
IEEE
Continuous-time Markov chains (CTMCs) have been used successfully to model the dependability and performability of many systems. Matrix diagrams (MDs) are known to be a space-ef...
172
Voted
UML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The CASE tool ArgoUWE supports the systematic design of Web applications using the UML-based Web Engineering (UWE) approach. The design methodology of UWE is based on a m...