Sciweavers

14298 search results - page 327 / 2860
» Dynamic Languages and Applications
Sort
View
LATA
2010
Springer
15 years 5 months ago
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
Fernando Rosa Velardo, Giorgio Delzanno
PODS
2008
ACM
110views Database» more  PODS 2008»
16 years 6 months ago
Static analysis of active XML systems
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
Serge Abiteboul, Luc Segoufin, Victor Vianu
SAINT
2007
IEEE
16 years 29 days ago
A Component Framework for Document-Centric Network Processing
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
Ichiro Satoh
ICSE
2007
IEEE-ACM
16 years 25 days ago
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
16 years 22 days ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu