2810 search results - page 445 / 562 » Contract-Based Component System Design |
INFOCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
—The publish/subscribe (pub/sub for short) paradigm is used to deliver events from a source to interested clients in an asynchronous way. Recently, extending a pub/sub system in ...
CP
2007
Springer
15 years 5 months ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
120
click to vote
IEEECGIV
2006
IEEE
15 years 5 months ago
2006
IEEE
PathBank is a web-based query and visualization system for biological pathways using an integrated pathway database. To address the needs for biologists to visualize and analyze b...
98
Voted
PRDC
2006
IEEE
15 years 5 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
83
Voted
ICRA
2005
IEEE
15 years 4 months ago
2005
IEEE
— Few systems have integrated the correct tactile and kinesthetic force feedback response with an accurate computational model of a compliant environment. We examine several desi...