Sciweavers

2674 search results - page 276 / 535
» On architecture transparency in operating systems
Sort
View
ACSAC
2009
IEEE
16 years 1 months ago
Semantically Rich Application-Centric Security in Android
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...
Machigar Ongtang, Stephen E. McLaughlin, William E...
EMSOFT
2007
Springer
16 years 28 days ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
INFOCOM
2005
IEEE
16 years 10 days ago
Dependency isolation for thread-based multi-tier Internet services
— Multi-tier Internet service clusters often contain complex calling dependencies among service components spreading across cluster nodes. Without proper handling, partial failur...
Lingkun Chu, Kai Shen, Hong Tang, Tao Yang, Jingyu...
ECBS
1996
IEEE
155views Hardware» more  ECBS 1996»
15 years 11 months ago
Model-Integrated Program Synthesis Environment
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
Janos Sztipanovits, Gabor Karsai, Hubertus Franke
SIGMOD
2001
ACM
100views Database» more  SIGMOD 2001»
16 years 6 months ago
Career-Enhancing Services at SIGMOD Online
This article serves three purposes. First of all, to introduce dbjobs, the database of database jobs, and also describe its functionality and architecture. Secondly, to present st...
Alexandros Labrinidis, Alberto O. Mendelzon