Sciweavers

5268 search results - page 695 / 1054
» Analysis of Design Process Dynamics
Sort
View
171
Voted
SIGSOFT
2000
ACM
15 years 11 months ago
Compiler and tool support for debugging object protocols
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
Sergey Butkevich, Marco Renedo, Gerald Baumgartner...
HYBRID
2009
Springer
15 years 10 months ago
Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach
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...
Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel
MASCOTS
2003
15 years 8 months ago
Multipath Routing in Mobile Ad Hoc Networks: Issues and Challenges
Mobile ad hoc networks (MANETs) consist of a collection of wireless mobile nodes which dynamically exchange data among themselves without the reliance on a fixed base station or a...
Stephen Mueller, Rose P. Tsang, Dipak Ghosal
SERP
2003
15 years 8 months ago
Polymorphism in Object-Oriented Contract Verification
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
Isabel Nunes
PR
2006
112views more  PR 2006»
15 years 6 months ago
RBF-based neurodynamic nearest neighbor classification in real pattern space
Superposition of radial basis functions centered at given prototype patterns constitutes one of the most suitable energy forms for gradient systems that perform nearest neighbor c...
Mehmet Kerem Müezzinoglu, Jacek M. Zurada