Sciweavers

8083 search results - page 157 / 1617
» A Formalization of Software Architecture
Sort
View
149
Voted
ICCAD
2006
IEEE
108views Hardware» more  ICCAD 2006»
16 years 2 months ago
Formal model of data reuse analysis for hierarchical memory organizations
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...
Ilie I. Luican, Hongwei Zhu, Florin Balasa
BPM
2006
Springer
116views Business» more  BPM 2006»
15 years 8 months ago
Formalizing Service Interactions
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
Gero Decker, Frank Puhlmann, Mathias Weske
EUROMICRO
2007
IEEE
15 years 10 months ago
GridIJ - A Dynamic Grid Service Architecture for Scientific Image Processing
The presented dynamic Grid service architecture provides a novel and comfortable access for scientific software developers and users without prior knowledge of Grid technologies o...
Alexander Frank, Rainer Stotzka, Thomas Jejkal, Vo...
ISSS
2002
IEEE
148views Hardware» more  ISSS 2002»
15 years 11 months ago
A Case Study of Hardware and Software Synthesis in ForSyDe
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
Ingo Sander, Axel Jantsch, Zhonghai Lu
CSFW
2007
IEEE
16 years 11 days ago
A Formal Theory of Key Conjuring
Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We prop...
Véronique Cortier, Stéphanie Delaune...