Sciweavers

2889 search results - page 96 / 578
» A Case Study in the Design of a Restaurant Management System
Sort
View
PET
2004
Springer
14 years 2 months ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...
ESTIMEDIA
2006
Springer
14 years 21 days ago
Resource Manager for Non-preemptive Heterogeneous Multiprocessor System-on-chip
Increasingly more MPSoC platforms are being developed to meet the rising demands from concurrently executing applications. These systems are often heterogeneous with the use of de...
Akash Kumar, Bart Mesman, Bart D. Theelen, Henk Co...
DOLAP
2006
ACM
14 years 3 months ago
A study on workload-aware wavelet synopses for point and range-sum queries
In this paper we perform an extensive theoretical and experimental study on common synopsis construction algorithms, with emphasis on wavelet based techniques, that take under con...
Michael Mathioudakis, Dimitris Sacharidis, Timos K...
ACMDIS
2000
ACM
14 years 1 months ago
Using a Technique from Graphic Designers to Develop Innovative System Designs
Rapid technological change requires that system designers explore potential design spaces widely before committing to a local design space in which to evolve a problem solution. W...
Catalina Danis, Stephen J. Boies
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
13 years 10 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...