Sciweavers

14169 search results - page 2406 / 2834
» Tabular application development
Sort
View
WWW
2011
ACM
15 years 2 months ago
Choreography conformance via synchronizability
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...
Samik Basu, Tevfik Bultan
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
15 years 2 months ago
Decomposability of global tasks for multi-agent systems
Abstract-- Multi-agent system is a rapidly developing research area with strong support from both civilian and military applications. One of the essential problems in multi-agent s...
Mohammad Karimadini, Hai Lin 0002
EJASMP
2010
114views more  EJASMP 2010»
15 years 2 months ago
Wide-Band Audio Coding Based on Frequency-Domain Linear Prediction
In this paper, we re-visit an original concept of speech coding in which the signal is separated into the carrier modulated by the signal envelope. A recently developed technique, ...
Petr Motlícek, Sriram Ganapathy, Hynek Herm...
ICASSP
2010
IEEE
15 years 2 months ago
Seamlets: Content-aware nonlinear wavelet transform
With the rise of mobile media devices, resizing an image or video to fit a screen of arbitrary size has become an important topic. In general, arbitrary resizing does not preserve...
David D. Conger, Hayder Radha, Mrityunjay Kumar
IFIP
2010
Springer
15 years 2 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
« Prev « First page 2406 / 2834 Last » Next »