Sciweavers

2005 search results - page 225 / 401
» Models and Meta Models for Transactions in Web Applications
Sort
View
ICC
2009
IEEE
118views Communications» more  ICC 2009»
15 years 8 months ago
A First Order Logic Security Verification Model for SIP
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
Dimitris Geneiatakis, Costas Lambrinoudakis, Georg...
CSR
2007
Springer
15 years 8 months ago
Maximal Intersection Queries in Randomized Graph Models
Consider a family of sets and a single set, called query set. How can one quickly find a member of the family which has a maximal intersection with the query set? Strict time cons...
Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka
EDOC
2008
IEEE
15 years 3 months ago
Model-Driven Development of a Mediation Service
Although service-oriented architectures offer real benefits when pursuing application integration and business flexibility, there are still no satisfactory solutions for dealing w...
Dick A. C. Quartel, Stanislav Pokraev, Rodrigo Man...
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 1 months ago
Maximal Intersection Queries in Randomized Input Models
Consider a family of sets and a single set, called the query set. How can one quickly find a member of the family which has a maximal intersection with the query set? Time constra...
Benjamin Hoffmann, Mikhail Lifshits, Yury Lifshits...
CSREAPSC
2006
15 years 3 months ago
Mobile Access to Web Systems Using a Multi-device Interface Design Approach
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
Rodrigo de Oliveira, Heloisa Vieira da Rocha