Sciweavers

130 search results - page 10 / 26
» Atomic Components
Sort
View
ENTCS
2006
116views more  ENTCS 2006»
13 years 7 months ago
Stepwise Refinement of Processes
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
Steve Reeves, David Streader
KRMED
2008
13 years 9 months ago
Essential SNOMED: Simplifying SNOMED-CT and supporting Integration with Health Information Models
SNOMED CT (SCT) has been designed and implemented in an era when health computer systems generally required terminology representations in the form of singular precoordinated conc...
Peter MacIsaac, Donald Walker, Rachel L. Richesson...
WECWIS
2006
IEEE
103views ECommerce» more  WECWIS 2006»
14 years 1 months ago
Toward Semantic Composition of Web Services with MOVE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
Jürgen Dorn, Albert Rainer, Peter Hrastnik
PCM
2001
Springer
150views Multimedia» more  PCM 2001»
13 years 12 months ago
Unsupervised Analysis of Human Gestures
Recognition of human gestures is important for analysis and indexing of video. To recognize human gestures on video, generally a large number of training examples for each individu...
Tianshu Wang, Heung-Yeung Shum, Ying-Qing Xu, Nann...
COORDINATION
2000
Springer
13 years 11 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka