Sciweavers

5634 search results - page 802 / 1127
» About Abstract Classes
Sort
View
SCP
2010
96views more  SCP 2010»
15 years 5 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
SIAMCO
2010
147views more  SIAMCO 2010»
15 years 5 months ago
Anytime Reliable Transmission of Real-Valued Information through Digital Noisy Channels
Abstract. The problem of reliably transmitting a real-valued random vector through a digital noisy channel is relevant for the design of distributed estimation and control techniqu...
Giacomo Como, Fabio Fagnani, Sandro Zampieri
SIAMJO
2010
87views more  SIAMJO 2010»
15 years 5 months ago
A Second Derivative SQP Method: Global Convergence
Abstract. Sequential quadratic programming (SQP) methods form a class of highly efficient algorithms for solving nonlinearly constrained optimization problems. Although second deri...
Nicholas I. M. Gould, Daniel P. Robinson
SIGOPS
2010
186views more  SIGOPS 2010»
15 years 5 months ago
Are clouds ready for large distributed applications?
Cloud computing carries the promise of providing powerful ls and abstractions that could transform the way IT services are delivered today. In order to establish the readiness of ...
Kunwadee Sripanidkulchai, Sambit Sahu, Yaoping Rua...
SOSYM
2010
176views more  SOSYM 2010»
15 years 5 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...