615 search results - page 86 / 123 » High-Level Nondeterministic Abstractions in |
114
Voted
METAINFORMATICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
118
click to vote
TES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using...
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a new parsing framework for the line-based geometric analysis of a single image coming from a man-made environment. This parsing framework models the scene as ...
103
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoret...
FPL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Hardware realization of kernel loops holds the promise of accelerating the overall application performance and is therefore an important part of the synthesis process. In...