Sciweavers

6343 search results - page 1053 / 1269
» Development of a Cartographic Language
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 10 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
ICMCS
2005
IEEE
91views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Supporting rights checking in an MPEG-21 Digital Item Processing environment
Within the world of multimedia, the new MPEG-21 standard is currently under development. The purpose of this new standard is to create an open framework for multimedia delivery an...
Frederik De Keukelaere, Thomas DeMartini, Jeroen B...
ICNP
2005
IEEE
15 years 10 months ago
Typed Abstraction of Complex Network Compositions
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
ICSM
2005
IEEE
15 years 10 months ago
Object-Oriented Reengineering: Patterns and Techniques
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...
Serge Demeyer, Stéphane Ducasse, Oscar Nier...
IPPS
2005
IEEE
15 years 10 months ago
A Compiler and Runtime Infrastructure for Automatic Program Distribution
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
Roxana Diaconescu, Lei Wang, Zachary Mouri, Matt C...
« Prev « First page 1053 / 1269 Last » Next »