Sciweavers

3031 search results - page 142 / 607
» Reuse in the application layer
Sort
View
EUROCAST
2007
Springer
131views Hardware» more  EUROCAST 2007»
15 years 8 months ago
Efficient Model Checking of Applications with Input/Output
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
Cyrille Artho, Boris Zweimüller, Armin Biere,...
MJ
2006
58views more  MJ 2006»
15 years 4 months ago
Wavelength controlled InAs/InP quantum dots for telecom laser applications
This article reviews the recent progress in the growth and device applications of InAs/InP quantum dots (QDs) for telecom applications. Wavelength tuning of the metalorganic vapor...
S. Anantathanasarn, R. Nötzel, P. J. van Veld...
CAISE
2004
Springer
15 years 7 months ago
Ontology-based Interoperability for Interorganizational Applications
Abstract. In this paper we present an ontology-based approach to support interoperability in interorganizational applications. The ontology contains knowledge, coming from several ...
Valeria De Antonellis, Michele Melchiori, Devis Bi...
125
Voted
CODES
2003
IEEE
15 years 9 months ago
Security wrappers and power analysis for SoC technologies
Future wireless internet enabled devices will be increasingly powerful supporting many more applications including one of the most crucial, security. Although SoCs offer more resi...
Catherine H. Gebotys, Y. Zhang
MIS
1998
Springer
103views Multimedia» more  MIS 1998»
15 years 8 months ago
NETCICATS: Network-Conscious Image Compression and Transmission System
NETCICATS is a software system for empirically evaluating network-conscious image compression, an approach that does not simply optimize compression, but which optimizes overall pe...
Sami Iren, Paul D. Amer, Phillip T. Conrad