Sciweavers

1323 search results - page 102 / 265
» Extended Modeling Languages for Interaction Protocol Design
Sort
View
144
Voted
ICWS
2009
IEEE
16 years 26 days ago
A Conceptual Modeling Approach to Business Service Mashup Development
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...
109
Voted
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 7 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
120
Voted
CCS
2007
ACM
15 years 10 months ago
Universally composable and forward-secure RFID authentication and authenticated key exchange
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
Tri Van Le, Mike Burmester, Breno de Medeiros
136
Voted
HICSS
2011
IEEE
226views Biometrics» more  HICSS 2011»
14 years 7 months ago
Citizen Energy: Towards Populist Interactive Micro-Energy Production
Citizen Energy is a novel, participatory citizen engagement with energy that is designed to extend our relationship with energy beyond existing producerconsumer models towards one...
Eric Paulos, James Pierce
137
Voted
ICWE
2005
Springer
15 years 9 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...