3943 search results - page 768 / 789 » Architecture-Level Requirements Specification |
116
click to vote
CAD
2000
Springer
15 years 1 months ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
107
click to vote
COMPUTER
2002
15 years 1 months ago
2002
ion, so mapping between GUI events and the underlying code is not straightforward. Code-based coverage criteria do not necessarily address problematic interactions between the GUI&...
115
click to vote
ENTCS
2000
15 years 1 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
135
click to vote
HEURISTICS
2000
15 years 1 months ago
2000
Planning and designing the next generation of IP router or switched broadband networks seems a daunting challenge considering the many complex, interacting factors affecting the p...
131
click to vote
IJRR
2000
15 years 1 months ago
2000
The inverse kinematics problem is formulated as a parameterized autonomous dynamical system problem, and respective analysis is carried out. It is shown that a singular point of w...