Sciweavers

3239 search results - page 492 / 648
» A Logical Process Calculus
Sort
View
SAINT
2003
IEEE
15 years 8 months ago
Context Attributes: An Approach to Enable Context-awareness for Service Discovery
Service discovery problem has recently been drawing much attention from researchers and practitioners. Jini, SLP, and UPnP are among the few emerging service discovery protocols. ...
Choonhwa Lee, Abdelsalam Helal
VTS
2003
IEEE
131views Hardware» more  VTS 2003»
15 years 8 months ago
Efficient Implication - Based Untestable Bridge Fault Identifier
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
Manan Syal, Michael S. Hsiao, Kiran B. Doreswamy, ...
DEBS
2003
ACM
15 years 8 months ago
Looking into the past: enhancing mobile publish/subscribe middleware
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
Mariano Cilia, Ludger Fiege, C. Haul, Andreas Zeid...
AC
2003
Springer
15 years 8 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
94
Voted
FPL
2003
Springer
81views Hardware» more  FPL 2003»
15 years 8 months ago
A TCP/IP Based Multi-device Programming Circuit
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...
David V. Schuehler, Harvey Ku, John W. Lockwood