Sciweavers

12052 search results - page 468 / 2411
» computing 2010
Sort
View
JISE
2010
110views more  JISE 2010»
15 years 1 months ago
SOA-based Service Layering for Facilitating Dynamic Service Composition and Alternative Service Discovery
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
Meeyeon Lee, Jung-Won Lee, Seung Soo Park, We-Duke...
VMCAI
2010
Springer
16 years 4 months ago
Automatic Abstraction for Congruences
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
Andy King, Harald Søndergaard
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 7 months ago
Coding objects related to Catalan numbers
A coding method using binary sequences is presented for different computation problems related to Catalan numbers. This method proves in a very easy way the equivalence of these pr...
Antal Bege, Zoltán Kása
COMPUTER
2010
147views more  COMPUTER 2010»
15 years 7 months ago
Authentication by Biometric Verification
:-Biometrics is the science and technology of measuring and analyzing biological data. In information technology, biometrics refers to technologies that measure and analyze human b...
Ron Vetter
205
Voted
CATA
2010
15 years 8 months ago
Utilizing Recursive Storage in Sparse Matrix-Vector Multiplication - Preliminary Considerations
Computations with sparse matrices on "multicore cache based" computers are affected by the irregularity of the problem at hand, and performance degrades easily. In this ...
Michele Martone, Salvatore Filippone, Salvatore Tu...