Sciweavers

1177 search results - page 74 / 236
» A review of function modeling: Approaches and applications
Sort
View
DATE
2009
IEEE
249views Hardware» more  DATE 2009»
16 years 29 days ago
White box performance analysis considering static non-preemptive software scheduling
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
Alexander Viehl, Michael Pressler, Oliver Bringman...
ECSCW
1997
15 years 7 months ago
Aether: An Awareness Engine for CSCW
: Extending and reinterpreting earlier work on the 'Spatial Model', this paper presents a generic model for supporting awareness in cooperative systems ('the AETHER ...
Ovidiu Sandor, Cristian Bogdan, John Bowers
CIE
2006
Springer
15 years 10 months ago
Lower Bounds Using Kolmogorov Complexity
Abstract. In this paper, we survey a few recent applications of Kolmogorov complexity to lower bounds in several models of computation. We consider KI complexity of Boolean functio...
Sophie Laplante
SIGMOD
2009
ACM
161views Database» more  SIGMOD 2009»
16 years 6 months ago
Cross-tier, label-based security enforcement for web applications
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks
SEUS
2009
IEEE
16 years 28 days ago
Fine-Grained Tailoring of Component Behaviour for Embedded Systems
Abstract. The application of run-time reconfigurable component models to networked embedded systems has a number of significant advantages such as encouraging software reuse, ada...
Nelson Matthys, Danny Hughes, Sam Michiels, Christ...