Sciweavers

10038 search results - page 379 / 2008
» Model Checking for Managers
Sort
View
CAISE
2008
Springer
15 years 8 months ago
Modeling Service Choreographies Using BPMN and BPEL4Chor
Gero Decker, Oliver Kopp, Frank Leymann, Kerstin P...
AIRS
2005
Springer
15 years 8 months ago
Image Feedback Retrieval Based on Vector Space Model Transformation
Luo Xin, Shiro Ajioka, Masami Shishibori, Kenji Ki...
EL
2010
115views more  EL 2010»
15 years 1 months ago
Interoperability models in digital libraries: an overview
Mehdi Alipour Hafezi, Abbas Horri, Ali Shiri, Amir...
BMCBI
2006
122views more  BMCBI 2006»
15 years 6 months ago
PET-Tool: a software suite for comprehensive processing and managing of Paired-End diTag (PET) sequence data
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
Kuo Ping Chiu, Chee-Hong Wong, Qiongyu Chen, Prami...
PADS
2005
ACM
16 years 11 days ago
An Adaptive Interest Management Scheme for Distributed Virtual Environments
Abstract— Traditionally Interest Management (IM) in distributed environments has been performed through a ‘top-down’ expression of interest patterns in the model. For many mo...
Rob Minson, Georgios K. Theodoropoulos