Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

A Logical Verification Methodology for Service-Oriented Computing

Author:Alessandro Fantechi, Alessandro Lapadula, Baier C., Beek M., Bouali A., Bruni R., Carbone M., Chaki S., Clarke E., Dam M., De Nicola R., Fantechi A., Fernandez J., Francesco Tiezzi, Franco Mazzanti, Grumberg O., Kindler E., Lapadula A., Lawford M., Lin H., Rosario Pugliese, Stefania Gnesi, Stirling C., Victor B., Vieira H.
Publisher:Association for Computing Machinery (ACM)
Abstract: We introduce a logical verification methodology for checking behavioural properties of service-orie…

A survey of tax compliance costs of Flemish SMEs: magnitude and determinants

Author:Catherine Reekmans, Bilitis Schoonjans, Gudrun Simoens, Philippe Van Cauwenberge
Publisher:Pion Ltd
Abstract: This study presents survey evidence on the magnitude and determinants of tax compliance costs in Fl…

Structural properties of optimal coordinate-convex policies for CAC with nonlinearly-constrained feasibility regions

Author:Marco Cello, Giorgio Gnecco, Mario Marchese, Marcello Sanguineti
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Necessary optimality conditions for Call Admission Control (CAC) problems with nonlinearly-constrai…

The impact of technology intermediaries on firm cognitive capacity additionality

Author:Bart Clarysse, Mirjam Knockaert, André Spithoven
Publisher:Elsevier BV
Abstract: Abstract is not available.

Quarantine region scheme to mitigate spam attacks in wireless sensor networks

Author:Erdal Cayirci, Vedat Coskun, Vedat Coşkun, Albert Levi, Serdar Sancak, Erdal Çayırcı
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: The Quarantine Region Scheme (QRS) is introduced to defend against spam attacks in wireless sensor …

Wage Share, Market Power and Unionism: Some Contrary U.S. Evidence

Author:Brian C. Brush, Steven E. Crane
Publisher:-Publications@Marquett
Abstract: In a recent article, Cowling and Molho (1982) presented empirical evidence on the relationships amo…

Language Identification Using Visual Features

Author:S Cox, J Newman
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Automatic visual language identification (VLID) is the technology of using information derived from…

Fueling innovation through information technology in SMEs

Author:Justin Craig, Peter S. Davis, Clay Dibrell
Publisher:Wiley
Abstract: Abstract is not available.

Estimating Dynamic Traffic Matrices by using Viable Routing Changes

Author:R. Cruz, Emilio Leonardi, A. Nucci, A. Soule, N. Taft
Publisher:EEE and AC
Abstract: Abstract: In this paper we propose a new approach for dealing with the ill-posed nature of traffic …

Seeing farmers' markets: Theoretical and media perspectives on new sites of exchange in New Zealand

Author:Lex Chalmers, Alun E. Joseph, John Smithers
Publisher:Wiley
Abstract: In this paper we explore the extent to which a reciprocal relationship exists between contemporary …
Privacy Policy
Powered by: