287 search results - page 38 / 58 » A Lightweight Formal Framework for Service-Oriented Applicat... |
236
click to vote
EMSOFT
2004
Springer
16 years 1 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
211
click to vote
INFOCOM
2010
IEEE
15 years 6 months ago
2010
IEEE
—Privacy-Preserving Authentication (PPA) is crucial for Radio Frequency Identifcation (RFID)-enabled applications. Without appropriate formal privacy models, it is difficult for...
198
Voted
CF
2010
ACM
16 years 1 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
194
click to vote
CORR
2010
Springer
15 years 8 months ago
2010
Springer
Applications such as traffic engineering and network provisioning can greatly benefit from knowing, in real time, what is the largest input rate at which it is possible to transmit...
193
click to vote
CBSE
2009
Springer
16 years 2 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...