搜索页_Journal+of+Computer+and+System+Sciences

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

在“Elsevier”中，命中：991条，耗时：0.1199435 秒

1.Non-standard semantics of hybrid systems modelers

作者：Albert Benveniste^a ; ^{Albert.Benveniste@inria.fr} ; Timothy Bourke^a ; ^{Timothy.Bourke@inria.fr} ; Benoî ; t Caillaud^a ; ^{Benoit.Caillaud@inria.fr} ; Marc Pouzet^b ; ^{Marc.Pouzet@ens.fr}

关键词：Hybrid systems ; Hybrid systems modelers ; Non-standard analysis ; Non-standard semantics ; Constructive semantics ; Kahn process networks ; Compilation of hybrid systems

刊名：Journal of Computer and System Sciences

出版年：2012

2.Resource recommendation in social annotation systems: A linear-weighted hybrid approach

作者：Jonathan Gemmell ; ^{jgemmell@cs.depaul.edu} ; Thomas Schimoler ^{tschimoler@cs.depaul.edu} ; Bamshad Mobasher ^{mobasher@cs.depaul.edu} ; Robin Burke ^{rburke@cs.depaul.edu}

关键词：Resource recommendation ; Social annotation system ; Hybrid recommenders

刊名：Journal of Computer and System Sciences

出版年：2012

3.On CD-systems of stateless deterministic R-automata with window size one

作者：Benedek Nagy^a ; ¹ ; ^{nbenedek@inf.unideb.hu} ; Friedrich Otto^b ; ^{otto@theory.informatik.uni-kassel.de}

关键词：Restarting automaton ; CD-system ; Rational trace language ; Closure property

刊名：Journal of Computer and System Sciences

出版年：2012

4.Task-specific information retrieval systems for software engineers

作者：Adam Grzywaczewski^a ; Rahat Iqbal^b ; ^{r.iqbal@coventry.ac.uk}

关键词：Domain-specific information retrieval ; Implicit feedback ; Collaborative filtering ; Contextualization of information retrieval

刊名：Journal of Computer and System Sciences

出版年：2012

5.Enforcing QoS in scientific workflow systems enacted over Cloud infrastructures

作者：Rafael Tolosana-Calasanz^a ; ^{rafaelt@unizar.es} ; José ; Á ; ngel Bañ ; ares^a ; Congduc Pham^b ; Omer F. Rana^c

关键词：Scientific workflows ; Cloud computing ; Petri nets ; QoS

刊名：Journal of Computer and System Sciences

出版年：2012

6.A privacy preserving authorisation system for the cloud

作者：David W. Chadwick ; ^{d.w.chadwick@kent.ac.uk} ; Kaniz Fatema ^{kf66@kent.ac.uk}

关键词：Policy decision point ; Privacy policies ; Sticky policies ; Credential validation service ; Obligations ; Cloud security

刊名：Journal of Computer and System Sciences

出版年：2012

7.The implication problem for 鈥榗losest node鈥?functional dependencies in complete XML documents

作者：M.W. Vincent^a ; ^{millist.vincent@unisa.edu.au} ; J. Liu^a ; ^{jixue.liu@unisa.edu.au} ; M. Mohania^b ; ^{mkmukesh@in.ibm.com}

关键词：XML ; DTD ; Functional dependency ; Implication ; Axiom system

刊名：Journal of Computer and System Sciences

出版年：2012

8.Personalized multi-user view and content synchronization and retrieval in real-time mobile social software applications

作者：Haifeng Shen ; ^{haifeng.shen@flinders.edu.au} ; Mark Reilly ^{m.reilly@flinders.edu.au}

关键词：Mobile device ; Social software ; Interface ; Synchronization ; Compression ; Operational transformation ; Operational merging ; Retrieval

刊名：Journal of Computer and System Sciences

出版年：2012

9.Synthesis from scenario-based specifications

作者：David Harel ; ^{dharel@weizmann.ac.il} ; Itai Segall ; ^{itai.segall@weizmann.ac.il}

关键词：Synthesis ; Live sequence charts ; LSC ; Specification ; Scenario-based programming

刊名：Journal of Computer and System Sciences

出版年：2012

10.Hybrid approach for context-aware service discovery in healthcare domain

作者：G. Fenza ^{gfenza@unisa.it} ; D. Furno ^{dfurno@unisa.it} ; V. Loia ; ^{loia@unisa.it}

关键词：Context-awareness ; Healthcare ; Service-discovery ; Sensors ; Fuzzy data analysis ; Clustering

刊名：Journal of Computer and System Sciences

出版年：2012

1

2

3

4

5

6

7

8

9

查看站内搜索结果(4)

按检索点细分(991)

刊名(959)

文摘(8)

按出版年细分(991)

2000年及以前(428)

2001年(63)

2002年(79)

2003年(99)

2004年(103)

2005年(48)

2006年(47)

2007年(42)

2008年(14)

2012年(68)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700