6167 search results - page 985 / 1234 » Can Refinement be Automated |
113
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
94
Voted
HAPTICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Manual pronuclei injection and intracytoplasmic sperm injection (ICSI) requires long training and has low success rates primarily due to poor control over the injection force. Con...
75
Voted
ICAC
2005
IEEE
15 years 6 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
106
click to vote
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
An overview of research in automated gesture spotting, tracking and recognition by the Image and Video Computing Group at Boston University is given. Approaches for localization a...
ICDCS
2005
IEEE
15 years 6 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...