Sciweavers

4099 search results - page 712 / 820
» A Framework for Interactive Proof
Sort
View
HUC
2003
Springer
15 years 9 months ago
Context-Aware Computing with Sound
We propose audio networking: using ubiquitously available sound hardware (i.e. speakers, sound-cards and microphones) for lowbandwidth, wireless networking. A variety of location- ...
Anil Madhavapeddy, David Scott, Richard Sharp
ICSOC
2003
Springer
15 years 9 months ago
PANDA: Specifying Policies for Automated Negotiations of Service Contracts
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
Henner Gimpel, Heiko Ludwig, Asit Dan, Robert Kear...
COMPSAC
2002
IEEE
15 years 9 months ago
Software Application Platforms: From Product Architecture to Integrated Application Strategy
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
Markku Sääksjärvi
HICSS
2002
IEEE
90views Biometrics» more  HICSS 2002»
15 years 9 months ago
Legitimate by Design: Towards Trusted Virtual Community Environments
Legitimacy is a key part of the social requirements specification for a trusted virtual community environment (VCE). If an environment is not seen as legitimate, social conflicts m...
Brian Whitworth, Aldo de Moor
VLSID
2002
IEEE
100views VLSI» more  VLSID 2002»
15 years 9 months ago
Layout-Driven Timing Optimization by Generalized De Morgan Transform
We propose a timing-oriented logic optimization technique called Generalized De Morgan (GDM) transform, that integrates gate resizing, net buffering and De Morgan transformation. ...
Supratik Chakraborty, Rajeev Murgai