Sciweavers

2784 search results - page 355 / 557
» Light analysis of complex systems
Sort
View
ENTCS
2007
158views more  ENTCS 2007»
15 years 4 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer
IAT
2007
IEEE
15 years 10 months ago
TIBOR: A Resource-bounded Information Foraging Agent for Visual Analytics
Visual Analytics is the science of applying reasoning and analysis techniques to large, complex real-world data for problem solving using visualizations. Real world knowledge gath...
Dingxiang Liu, Anita Raja, Jayasri Vaidyanath
MM
2004
ACM
109views Multimedia» more  MM 2004»
15 years 9 months ago
Loss-resilient on-demand media streaming using priority encoding
A novel solution to the reliable multicast problem is the “digital fountain” approach, in which data is encoded with an erasure protection code before transmission, and receiv...
Cheng Huang, Ramaprabhu Janakiraman, Lihao Xu
COMPSAC
2002
IEEE
15 years 9 months ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...
IWSM
2000
Springer
15 years 8 months ago
CEOS - A Cost Estimation Method for Evolutionary, Object-Oriented Software Development
: In this article we present a method for estimating the effort of software projects following an evolutionary, object-oriented development paradigm. Effort calculation is based on...
Siar Sarferaz, Wolfgang Hesse