Sciweavers

2377 search results - page 321 / 476
» Hybrid Systems in TLA
Sort
View
SEMWEB
2007
Springer
16 years 16 days ago
Semi-automatic Ontology Engineering Using Patterns
Many enterprise systems face the same kind of information processing problems that exist on the web in general, and creating semantic solutions often involve constructing an enterp...
Eva Blomqvist
VTC
2006
IEEE
16 years 13 days ago
Enhanced Packet Scheduling Algorithm Providing QoS in High Speed Downlink Packet Access
— In High Speed Downlink Packet Access (HSDPA), Packet Scheduler is a key element for high-speed and efficient transmissions. In this paper, we propose an enhanced packet schedu...
Ohyun Jo, Jong-Wuk Son, Soo-Yong Jeon, Dong-Ho Cho
IPPS
2003
IEEE
15 years 11 months ago
Semi-Structured Portable Library for Multiprocessor Servers
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
Georgios Tsilikas, Martin Fleury
STACS
2001
Springer
15 years 11 months ago
A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
Victor L. Selivanov
IV
2000
IEEE
221views Visualization» more  IV 2000»
15 years 10 months ago
Animated Texture Alpha-Masks for Flow Visualization
A method of using a moving texture alpha-mask to represent scientific data is described, for the purpose of visualizing continuous fluid dynamics fields. The method combines strea...
Ian Curington