554 search results - page 108 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
ICFP
2008
ACM
14 years 6 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
EWMF
2003
Springer
13 years 11 months ago
2003
Springer
Abstract With the ongoing shift from off-line to on-line business processes, the Web has become an important business platform, and for most companies it is crucial to have an on-...
IJWIS
2007
13 years 5 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
POPL
2010
ACM
14 years 3 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
UM
2009
Springer
14 years 16 days ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...