Sciweavers

4193 search results - page 699 / 839
» Linking Data to Ontologies
Sort
View
SAC
2009
ACM
14 years 5 months ago
Applying Reo to service coordination in long-running business transactions
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
Natallia Kokash, Farhad Arbab
ESOP
2009
Springer
14 years 5 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
ICFCA
2009
Springer
14 years 5 months ago
Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...
Jaume Baixeries, Laszlo Szathmary, Petko Valtchev,...
ICC
2009
IEEE
210views Communications» more  ICC 2009»
14 years 5 months ago
Multi-User Joint Subchannel and Power Resource-Allocation for Powerline Relay Networks
Abstract—This paper investigates Orthogonal FrequencyDivision Multiple-Access (OFDMA) resource-allocation schemes for two-hop relays in a home Powerline Communication (PLC) netwo...
Hao Zou, Aakanksha Chowdhery, Sumanth Jagannathan,...
ICC
2009
IEEE
162views Communications» more  ICC 2009»
14 years 5 months ago
Minimizing Energy Consumption in IR-UWB Based Wireless Sensor Networks
Abstract—Impulse Radio Ultra-wideband (IR-UWB) communication has proven an important technique for supporting highrate, short-range, low-power communication. These are necessary ...
Tianqi Wang, Wendi B. Heinzelman, Alireza Seyedi