Sciweavers

106 search results - page 13 / 22
» DOM: Towards a Formal Specification
Sort
View
ECR
2010
126views more  ECR 2010»
13 years 6 months ago
The conceptual model of context for mobile commerce applications
Mobile commerce applications adhering to anytime and anywhere paradigm, required to be flexible. They should be able to adapt their interface, services and content towards a certai...
Poulcheria Benou, Costas Vassilakis
SIGSOFT
2008
ACM
14 years 9 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...
WWW
2007
ACM
14 years 9 months ago
Towards the theoretical foundation of choreography
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
AIED
2009
Springer
14 years 1 months ago
Towards Automatic Assessment for Project Based Learning Groups
Project course instructors routinely perform their formal assessments based on impressions formed from their mostly indirect experience with the groups they oversee. Nevertheless, ...
Gahgene Gweon, Rohit Kumar, Soojin Jun, Carolyn Pe...
DRM
2006
Springer
14 years 9 days ago
Towards a secure and interoperable DRM architecture
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
Gelareh Taban, Alvaro A. Cárdenas, Virgil D...