Sciweavers

1330 search results - page 87 / 266
» Modeling components and frameworks with UML
Sort
View
SEFM
2005
IEEE
15 years 10 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
COMPUTER
2000
128views more  COMPUTER 2000»
15 years 4 months ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee
MM
2005
ACM
250views Multimedia» more  MM 2005»
15 years 10 months ago
An object-based video coding framework for video sequences obtained from static cameras
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
Asaad Hakeem, Khurram Shafique, Mubarak Shah
CORR
2010
Springer
69views Education» more  CORR 2010»
15 years 1 months ago
Extending INET Framework for Directional and Asymmetrical Wireless Communications
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...
Paula Uribe, Juan Carlos Maureira Bravo, Olivier D...
IADIS
2003
15 years 5 months ago
A Light Web-Oriented Business Framework
In this paper, we describe the development of a framework for building J2EE Web-centric business applications, that is, middle-size applications organized around Web components. T...
Davide Brugali, Giuseppe Psaila, Franco Guidi-Pola...