3358 search results - page 421 / 672 » Parametric Aspects: A Proposal |
167
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
Text detection and tracking is an important step in a video content analysis system as it brings important semantic clues which is a vital supplemental source of index information....
177
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
156
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
167
click to vote
CHARME
1997
Springer
15 years 10 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
185
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...