Sciweavers

8959 search results - page 295 / 1792
» Composing aspects with aspects
Sort
View
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
16 years 1 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...
IV
2008
IEEE
158views Visualization» more  IV 2008»
16 years 1 months ago
ComVis: A Coordinated Multiple Views System for Prototyping New Visualization Technology
There is a large number of interactive visualization tools, however no universal tool exists that covers all relevant aspects for all possible application domains. We have develop...
Kresimir Matkovic, Wolfgang Freiler, Denis Gracani...
COMSWARE
2007
IEEE
16 years 1 months ago
BARAKA: A Hybrid Simulator of SANETs
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...
Thomas Halva Labella, Isabel Dietrich, Falko Dress...
ICASSP
2007
IEEE
16 years 1 months ago
Long Term Selection of Reference Frame Sub-Blocks using MPEG-7 Indexing Metadata
Traditionally, video indexing and compression have been considered as two separate functionalities. However, the high amount of available multimedia content creates the need for m...
Javier Ruiz Hidalgo, Philippe Salembier
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
16 years 1 months ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning