Sciweavers

2917 search results - page 416 / 584
» Satisfying Interaction Constraints
Sort
View
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
15 years 7 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...
SCP
1998
112views more  SCP 1998»
15 years 4 months ago
Structured Gamma
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
Pascal Fradet, Daniel Le Métayer
CASCON
2010
204views Education» more  CASCON 2010»
14 years 11 months ago
Effective collaboration and consistency management in business process modeling
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
Moises Castelo Branco, Yingfei Xiong, Krzysztof Cz...
ICDE
2006
IEEE
266views Database» more  ICDE 2006»
16 years 6 months ago
Approximation Techniques for Indexing the Earth Mover's Distance in Multimedia Databases
Todays abundance of storage coupled with digital technologies in virtually any scientific or commercial application such as medical and biological imaging or music archives deal w...
Ira Assent, Andrea Wenning, Thomas Seidl
ICDE
1998
IEEE
93views Database» more  ICDE 1998»
16 years 6 months ago
Distributed Video Presentations
In this paper, we consider a distributed video server environment where video movies need not be stored entirely in one server. Blocks of a video movie are allowed to be distribut...
Eenjun Hwang, V. S. Subrahmanian, B. Prabhakaran