Sciweavers

3206 search results - page 373 / 642
» Communicating everyday experiences
Sort
View
VISUALIZATION
1996
IEEE
15 years 11 months ago
Three Dimensional Visualization of Proteins in Cellular Interactions
In researching the communication mechanisms between cells of the immune system, visualization of proteins in three dimensions can be used to determine which proteins are capable o...
Colin R. F. Monks, Patricia Crossno, George S. Dav...
SEE
1997
Springer
15 years 11 months ago
An environment for object-oriented real-time systems design
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
Rob L. W. van de Weg, Rolf Engmann, Raoul van de H...
ASAP
2007
IEEE
150views Hardware» more  ASAP 2007»
15 years 10 months ago
Customizing Reconfigurable On-Chip Crossbar Scheduler
We present a design of a customized crossbar scheduler for on-chip networks. The proposed scheduler arbitrates on-demand interconnects, where physical topologies are identical to ...
Jae Young Hur, Todor Stefanov, Stephan Wong, Stama...
ATVA
2007
Springer
101views Hardware» more  ATVA 2007»
15 years 10 months ago
On-the-Fly Model Checking of Fair Non-repudiation Protocols
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
Guoqiang Li, Mizuhito Ogawa
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 10 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim