Sciweavers

1788 search results - page 287 / 358
» Model Theory for Process Algebra
Sort
View
147
Voted
JUCS
2008
186views more  JUCS 2008»
15 years 3 months ago
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
Miguel Ángel Pérez Toledano, Amparo ...
147
Voted
DAC
2004
ACM
16 years 4 months ago
STAC: statistical timing analysis with correlation
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
Jiayong Le, Xin Li, Lawrence T. Pileggi
205
Voted
VLDB
2001
ACM
104views Database» more  VLDB 2001»
16 years 4 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
123
Voted
DCC
2010
IEEE
15 years 10 months ago
Xampling: Analog Data Compression
We introduce Xampling, a design methodology for analog compressed sensing in which we sample analog bandlimited signals at rates far lower than Nyquist, without loss of informatio...
Moshe Mishali, Yonina C. Eldar
131
Voted
HICSS
2002
IEEE
134views Biometrics» more  HICSS 2002»
15 years 8 months ago
Sense of Virtual Community-Maintaining the Experience of Belonging
E-commerce strategists advise companies to create virtual communities for their customers. But what is involved in establishing and maintaining virtual communities? This paper add...
Anita L. Blanchard, M. Lynne Markus