Sciweavers

2663 search results - page 172 / 533
» The Design, Implementation, and Evaluation of Jade
Sort
View
ENTCS
2010
75views more  ENTCS 2010»
14 years 10 months ago
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Javier Cámara, José Antonio Mart&iac...
CAD
2006
Springer
14 years 10 months ago
Towards mass customized interoperability
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
Udo Kannengiesser, John S. Gero
TWC
2008
129views more  TWC 2008»
14 years 10 months ago
Adaptive Minimum Symbol Error Rate Beamforming Assisted Detection for Quadrature Amplitude Modulation
We consider beamforming assisted detection for multiple antenna aided multiuser systems that employ the bandwidth efficient quadrature amplitude modulation scheme. A minimum symbol...
Sheng Chen, Andy Livingstone, H.-Q. Du, Lajos Hanz...
VSTTE
2010
Springer
14 years 8 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
TRIDENTCOM
2010
IEEE
14 years 8 months ago
Managing Distributed Applications Using Gush
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...
Jeannie Albrecht, Danny Yuxing Huang