Sciweavers

3273 search results - page 333 / 655
» Structured Design of Microelectromechanical Systems
Sort
View
CIE
2007
Springer
15 years 11 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
ER
2007
Springer
82views Database» more  ER 2007»
15 years 11 months ago
Tracing the Rationale Behind UML Model Change Through Argumentation
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
Ivan Jureta, Stéphane Faulkner
SOFSEM
2007
Springer
15 years 11 months ago
Multimedia Retrieval Algorithmics
Abstract. After text retrieval, the next waves in web searching and multimedia retrieval are the search for and delivery of images, music, video, and 3D scenes. Not only the percep...
Remco C. Veltkamp
LAWEB
2005
IEEE
15 years 10 months ago
A Parallel Search Engine with BSP
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
Veronica Gil Costa, Mauricio Marín
VISSOFT
2005
IEEE
15 years 10 months ago
The Dominance Tree in Visualizing Software Dependencies
Dominance analysis from graph theory allows one to locate subordinated software elements in a rooted dependency graph. It identifies the nesting structure for a dependency graph ...
Raimar Falke, Raimund Klein, Rainer Koschke, Joche...