Sciweavers

834 search results - page 58 / 167
» Anaphora and the Logic of Change
Sort
View
CORR
2010
Springer
147views Education» more  CORR 2010»
13 years 5 months ago
RAFDA: A Policy-Aware Middleware Supporting the Flexible Separation of Application Logic from Distribution
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...
Scott M. Walker, Alan Dearle, Stuart J. Norcross, ...
ISMAR
2009
IEEE
14 years 3 months ago
Physical-virtual tools for spatial augmented reality user interfaces
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...
Michael R. Marner, Bruce H. Thomas, Christian Sand...
WECWIS
2005
IEEE
157views ECommerce» more  WECWIS 2005»
14 years 2 months ago
Business Rules Integration in BPEL - A Service-Oriented Approach
Business rules change quite often. These changes cannot be handled efficiently by representing business rules embedded in the source code of the business logic. Efficient handli...
Florian Rosenberg, Schahram Dustdar
ISQED
2003
IEEE
147views Hardware» more  ISQED 2003»
14 years 2 months ago
On Structural vs. Functional Testing for Delay Faults
A structurally testable delay fault might become untestable in the functional mode of the circuit due to logic or timing constraints or both. Experimental data suggests that there...
Angela Krstic, Jing-Jia Liou, Kwang-Ting Cheng, Li...
ICCD
1992
IEEE
84views Hardware» more  ICCD 1992»
14 years 28 days ago
Synthesis of 3D Asynchronous State Machines
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
Kenneth Y. Yun, David L. Dill, Steven M. Nowick