Sciweavers

1225 search results - page 18 / 245
» Designing Distributed Applications with Mobile Code Paradigm...
Sort
View
ASE
2008
102views more  ASE 2008»
15 years 2 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
119
Voted
CONCUR
2009
Springer
15 years 9 months ago
Flow Policy Awareness for Distributed Mobile Code
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
Ana Almeida Matos
ACMICEC
2004
ACM
171views ECommerce» more  ACMICEC 2004»
15 years 7 months ago
Efficient integration of web services with distributed data flow and active mediation
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
David Liu, Jun Peng, Kincho H. Law, Gio Wiederhold
118
Voted
DAIS
2006
15 years 3 months ago
Mobile Process Description and Execution
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
Christian P. Kunze, Sonja Zaplata, Winfried Lamers...
122
Voted
HCI
2009
15 years 4 days ago
User Research and User Centered Design; Designing, Developing, and Commercializing Widget Service on Mobile Handset
Mobile widget is a new paradigm for interactive idle screen service on mobile handset. Currently the standardization of widget is being discussed by W3C; Widget is globally accepte...
Sung Moo Hong