Sciweavers

4476 search results - page 463 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
214
Voted
EUROMICRO
2009
IEEE
15 years 11 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
190
Voted
DRM
2008
Springer
15 years 9 months ago
A four-layer model for security of digital rights management
Defining Digital Rights Management (DRM) is a complex task. There is no unique universal definition. There are many legal, economic, functional, and technical definitions. This co...
Eric Diehl
226
Voted
SIGSOFT
2003
ACM
16 years 8 months ago
Behaviour model elaboration using partial labelled transition systems
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
Sebastián Uchitel, Jeff Kramer, Jeff Magee
192
Voted
IPPS
2000
IEEE
16 years 1 days ago
Real-Time Coordination in Distributed Multimedia Systems
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...
Theophilos A. Limniotes, George A. Papadopoulos
176
Voted
EDBTW
2006
Springer
15 years 11 months ago
Interoperation Between Information Spaces on the Web
In my thesis I will address the problem of interoperation between information spaces on the web. We explain how this problem is different to traditional database integration scenar...
Andreas Harth