Sciweavers

4356 search results - page 550 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
TSMC
2011
289views more  TSMC 2011»
15 years 1 months ago
Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
Allan I. McInnes, Brandon K. Eames, Russell J. Gro...
ICPR
2006
IEEE
16 years 7 months ago
Embodied Proactive Human Interface "PICO-2"
Abstract-- We are conducting research on "Embodied Proactive Human Interface". The aim of this research is to develop a new human-friendly active interface based on two k...
Hiroaki Omasa, Rin-ichiro Taniguchi, Ryo Kurazume,...
DAC
2005
ACM
16 years 7 months ago
Operator-based model-order reduction of linear periodically time-varying systems
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
Yayun Wan, Jaijeet S. Roychowdhury
EWSN
2004
Springer
16 years 6 months ago
Tracking Real-World Phenomena with Smart Dust
Abstract. So-called "Smart Dust" is envisioned to combine sensing, computing, and wireless communication capabilities in an autonomous, dust-grain-sized device. Dense net...
Kay Römer
ICS
2010
Tsinghua U.
16 years 4 months ago
Reaching Consensus on Social Networks
Abstract: Research in sociology studies the effectiveness of social networks in achieving computational tasks. Typically the agents who are supposed to achieve a task are unaware o...
Elchanan Mossel, Grant Schoenebeck