Sciweavers

6274 search results - page 1070 / 1255
» Proofs, Programs, Processes
Sort
View
IPPS
2007
IEEE
14 years 5 months ago
Speedup using Flowpaths for a Finite Difference Solution of a 3D Parabolic PDE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
Darrin M. Hanna, Anna M. Spagnuolo, Michael DuChen...
IRI
2007
IEEE
14 years 5 months ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
IV
2007
IEEE
222views Visualization» more  IV 2007»
14 years 5 months ago
Video Stabilization Using Scale-Invariant Features
Video Stabilization is one of those important video processing techniques to remove the unwanted camera vibration in a video sequence. In this paper, we present a practical method...
Rong Hu, Rongjie Shi, I-Fan Shen, Wenbin Chen
QSIC
2007
IEEE
14 years 5 months ago
Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment
Recent research showed that the majority of compatibility-breaking changes in a component-based, object-oriented software system are refactorings [5]. The software updating proces...
Bashar Gharaibeh, Tien N. Nguyen, J. Morris Chang
TASE
2007
IEEE
14 years 5 months ago
Constraint-Based Policy Negotiation and Enforcement for Telco Services
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso...
« Prev « First page 1070 / 1255 Last » Next »