Sciweavers

3639 search results - page 229 / 728
» Provenance as Dependency Analysis
Sort
View
ISCC
1999
IEEE
127views Communications» more  ISCC 1999»
15 years 11 months ago
A Modular Location-Aware Service and Application Platform
Location-Aware applications for supporting the mobile user as well as logistics of movable objects have proven significant relevance for future telecommunication and computing. Ba...
Tom Pfeifer, Radu Popescu-Zeletin
RE
1999
Springer
15 years 11 months ago
An Integrated Scenario Management Strategy
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
Thomas A. Alspaugh, Annie I. Antón, Tiffany...
PKC
1998
Springer
107views Cryptology» more  PKC 1998»
15 years 11 months ago
On the Security of ElGamal Based Encryption
The ElGamal encryption scheme has been proposed several years ago and is one of the few probabilistic encryption schemes. However, its security has never been concretely proven bas...
Yiannis Tsiounis, Moti Yung
EMSOFT
2006
Springer
15 years 11 months ago
Real-time interfaces for composing real-time systems
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov
FMCAD
2006
Springer
15 years 11 months ago
Liveness and Boundedness of Synchronous Data Flow Graphs
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
Amir Hossein Ghamarian, Marc Geilen, Twan Basten, ...