Sciweavers

1499 search results - page 233 / 300
» Case Study: An Implementation of a Secure Steganographic Sys...
Sort
View
CASCON
1996
126views Education» more  CASCON 1996»
15 years 7 months ago
Evaluating the costs of management: a distributed applications management testbed
In today's distributed computing environments, users are makingincreasing demands on the systems, networks, and applications they use. Users are coming to expect performance,...
Michael Katchabaw, Stephen L. Howard, Andrew D. Ma...
FOSSACS
2005
Springer
15 years 12 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
DGO
2007
150views Education» more  DGO 2007»
15 years 8 months ago
Integration of text-based applications into service-oriented architectures for transnational digital government
Significant efforts are currently being pursued by several countries and IT providers to deploy SOA (Service Oriented Architecture) designs of digital government systems that inte...
Andréa M. Matsunaga, Maurício O. Tsu...
ARTMED
2006
86views more  ARTMED 2006»
15 years 6 months ago
Spatiotemporal reasoning about epidemiological data
Objective. In this article, we propose new methods to visualize and reason about spatiotemporal epidemiological data. Background. Efficient computerized reasoning about epidemics ...
Peter Z. Revesz, Shasha Wu
ICSE
2008
IEEE-ACM
16 years 6 months ago
An integrated aspect-oriented model-driven software product line tool suite
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...
Christa Schwanninger, Iris Groher, Markus Völ...