Sciweavers

5184 search results - page 641 / 1037
» Computer support for mechatronic control system design
Sort
View
DAC
2002
ACM
16 years 8 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
CANDC
2009
ACM
16 years 2 months ago
Glowdoodle: a medium for expressive inquiry
Expressive inquiry is a process of exploration and discovery within an artistic medium that supports both intuitive play and iterative experimentation. Glowdoodle is a system that...
Eric Rosenbaum
ATAL
2005
Springer
16 years 1 months ago
Reliable group communication and institutional action in a multi-agent trading scenario
This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message p...
Stephen Cranefield
ICISC
2000
102views Cryptology» more  ICISC 2000»
15 years 9 months ago
Micropayments for Wireless Communications
Abstract. Electronic payment systems for wireless devices need to take into account the limited computational and storage ability of such devices. Micropayment schemes seem well su...
DongGook Park, Colin Boyd, Ed Dawson
INFOCOM
2012
IEEE
13 years 10 months ago
Socialize spontaneously with mobile applications
—With the proliferation of mobile devices in both smartphone and tablet form factors, it is intuitive and natural for users to socially interact with their collaborators or compe...
Zimu Liu, Yuan Feng, Baochun Li