Sciweavers

5630 search results - page 237 / 1126
» Computability in Specification
Sort
View
ROOM
2000
15 years 7 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
Tony Clark
PCM
2001
Springer
145views Multimedia» more  PCM 2001»
15 years 10 months ago
Color Content Matching of MPEG-4 Video Objects
Abstract. Color histogram is one of the most widely used visual feature representations in content-based retrieval. When processing the image/video data in the JPEG/MPEG compressed...
Berna Erol, Faouzi Kossentini
164
Voted
GCC
2007
Springer
15 years 10 months ago
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
Yu-E Zheng, Huadong Ma, Lejun Zhang
VLSID
2002
IEEE
106views VLSI» more  VLSID 2002»
16 years 6 months ago
SWASAD: An ASIC Design for High Speed DNA Sequence Matching
This paper presents the Smith and Waterman Algorithm-Specific ASIC Design (SWASAD) project. This is a hardware solution that implements the S&W algorithm.. The SWASAD is an imp...
Tony Han, Sri Parameswaran
ICCSA
2007
Springer
15 years 10 months ago
Using Adaptative Encryption for Ubiquitous Environments
One of the most important issues for ubiquitous computing is the problem of encrypting content in the devices, as the heterogeneity in the devices nature, capabilities, mobility an...
Antonio Izquierdo, Joaquín Torres Má...