Sciweavers

4325 search results - page 456 / 865
» Incremental computation with names
Sort
View
APCSAC
2006
IEEE
16 years 28 days ago
Power-Efficient Microkernel of Embedded Operating System on Chip
Because the absence of hardware support, almost all of embedded operating system are based on SDRAM in past time. With progress of embedded system hardware, embedded system can pro...
Tianzhou Chen, Wei Hu, Yi Lian
EDOC
2006
IEEE
16 years 28 days ago
Compliance checking between business processes and business contracts
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
Guido Governatori, Zoran Milosevic, Shazia Wasim S...
ICARCV
2006
IEEE
270views Robotics» more  ICARCV 2006»
16 years 28 days ago
Expansion of Hager Belhumeur Inverse Additive Algorithm to Homographies
— Image alignment is a widely used technique in computer vision, and it can be applied to many areas such as image registration and region tracking. Hager and Belhumeur proposed ...
Hyun Seok Hong, Myung Jin Chung
ICMCS
2006
IEEE
119views Multimedia» more  ICMCS 2006»
16 years 28 days ago
Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
Senem Velipasalar, Chang Hong Lin, Jason Schlessma...
IV
2006
IEEE
95views Visualization» more  IV 2006»
16 years 27 days ago
A Pragmatic and Musically Pleasing Production System for Sonic Events
We describe a novel application for sonic events namely their generation via mathematical functions implemented on a universal all purpose Java platform. Their design is driven by...
Marc Conrad, Tim French, Marcia Gibson