设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(14)
知网期刊论文(5)
在“
Elsevier电子期刊
”中,
命中:
25
条,耗时:小于0.01 秒
在所有数据库中总计命中:
19
条
1.
Special issue on Automated Specification and Verification of Web Systems
作者:
Laura Kov谩cs
;
Rosario
Pugliese
;
Josep Silva
;
Francesco Tiezzi
刊名:Journal of Logic and Algebraic Programming
出版年:November, 2013
2.
An accessible verification environment for UML models of services
作者:
Federico Banti
;
Rosario
Pugliese
;
Francesco Tiezzi
关键词:
Service-oriented architectures
;
CASE tools
;
UML
;
Formal methods
;
Model checking
;
Process calculi
刊名:Journal of Symbolic Computation
出版年:2011
3.
From Flow Logic to static type systems for coordination languages
作者:
Rocco De Nicola
;
Daniele Gorla
;
René
;
Rydhof Hansen
;
Flemming Nielson
;
Hanne Riis Nielson
;
Christian W. Probst
;
Rosario
Pugliese
关键词:
Global computing
;
Coordination languages
;
Formal methods
;
Flow Logic
;
Type systems
刊名:Science of Computer Programming
出版年:2010
4.
Dynamic management of capabilities in a network aware coordination language
作者:
Daniele Gorla
;
Rosario
Pugliese
关键词:
Capability-based access control
;
Process distribution and mobility
;
Resource usage
;
Mobility control
刊名:Journal of Logic and Algebraic Programming
出版年:2009
5.
A Symbolic Semantics for a Calculus for Service-Oriented Computing
作者:
Rosario
Pugliese
;
Francesco Tiezzi
;
Nobuko Yoshida
关键词:
Service-oriented computing
;
service orchestration
;
process calculi
;
symbolic semantics
刊名:Electronic Notes in Theoretical Computer Science
出版年:2009
6.
From Architectural to Behavioural Specification of Services
作者:
Laura Bocchi
;
José
;
Luiz Fiadeiro
;
Aless
;
ro Lapadula
;
Rosario
Pugliese
;
Francesco Tiezzi
关键词:
Service-Oriented Computing
;
Service Component Architecture
;
modelling languages
;
formal methods
;
process calculi
刊名:Electronic Notes in Theoretical Computer Science
出版年:2009
7.
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study
作者:
Federico Banti
;
Aless
;
ro Lapadula
;
Rosario
Pugliese
;
Francesco Tiezzi
关键词:
Service-oriented computing
;
service orchestration
;
process calculi
;
logics and model checking
刊名:Electronic Notes in Theoretical Computer Science
出版年:2009
8.
Service Discovery and Negotiation With COWS
作者:
Aless
;
ro Lapadula
;
Rosario
Pugliese
;
Francesco Tiezzi
关键词:
Service discovery
;
negotiation
;
service level agreement
;
service orchestration
;
process calculi
刊名:Electronic Notes in Theoretical Computer Science
出版年:2008
9.
Global computing in a dynamic network of tuple spaces
作者:
Rocco De Nicola
;
Daniele Gorla
;
Rosario
Pugliese
关键词:
Global computing
;
Formal methods
;
Observational equivalence
;
Distributed algorithms
;
Program verification
刊名:Science of Computer Programming
出版年:2007
10.
Basic observables for a calculus for global computing
作者:
Rocco De Nicola
;
Daniele Gorla
;
Rosario
Pugliese
关键词:
Process calculi
;
Distribution and mobility
;
Explicit connections
;
Basic observables
;
Bisimulation
;
May testing
刊名:Information and Computation
出版年:2007
1
2
3
按检索点细分(25)
作者(21)
文摘(4)
按出版年细分(25)
2027年及以后(1)
2011年(1)
2010年(1)
2009年(4)
2008年(1)
2007年(2)
2006年(2)
2005年(1)
2003年(1)
2002年(4)
2001年(3)
2000年(2)
2000年及以前(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.