science.io

Sort: New & recommended · Newly published · Newly added · Top Recommended

1

HTTP Mailbox - Asynchronous RESTful Communication. (arXiv:1305.1992v1 [cs.SE])
By Sawood Alam,Charles L. Cartledge,Michael L. Nelson
0 · from ArXiv:cs.SE · published 05/2013
1

Vers une Substitution des Services Web sans Inconsistance S\'emantique. (arXiv:1305.1666v1 [cs.SE])
By Boudjemaa Boudaa
0 · from ArXiv:cs.SE · published 05/2013
1

Unique Perfect Phylogeny Characterizations via Uniquely Representable Chordal Graphs. (arXiv:1305.1375v1 [cs.DM])
By Rob Gysel
0 · from ArXiv:cs.SE · published 05/2013
1

Endow a service-oriented architecture by a decisional aspect. (arXiv:1305.0936v1 [cs.SE])
By Boumahdi Fatima
0 · from ArXiv:cs.SE · published 05/2013
1

Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. (arXiv:1304.7614v2 [cs.SE] UPDATED)
By Guoxin Su,David S.Rosenblum
0 · from ArXiv:cs.SE · published 05/2013
1

On Topological Structure of Web Services Networks for Composition. (arXiv:1305.0467v1 [cs.SE])
By Chantal Cherifi,Jean-François Santucci
0 · from ArXiv:cs.SE · published 05/2013
1

The Software Garden. (arXiv:1305.0152v1 [cs.SE])
By Federico D. Sacerdoti
0 · from ArXiv:cs.SE · published 05/2013
1

A Comparative Study of Web Services Composition Networks. (arXiv:1305.0189v1 [cs.SE])
By Chantal Cherifi,Jean-Francois Santucci
0 · from ArXiv:cs.SE · published 05/2013
1

Analyzing Web Services Networks: a WS-NEXT Application. (arXiv:1305.0190v1 [cs.SE])
By Chantal Cherifi,Jean-François Santucci
0 · from ArXiv:cs.SE · published 05/2013
1

A Syntactic-Semantic Approach to Incremental Verification. (arXiv:1304.8034v2 [cs.SE] UPDATED)
By Domenico Bianculli,Antonio Filieri,Carlo Ghezzi,Dino Mandrioli
0 · from ArXiv:cs.SE · published 05/2013
1

Similartity Network For Semantic Web Services Substitution. (arXiv:1305.0195v1 [cs.SE])
By Chantal Cherifi
0 · from ArXiv:cs.SE · published 05/2013
1

A Syntactic-Semantic Approach to Incremental Verification. (arXiv:1304.8034v1 [cs.SE])
By Domenico Bianculli,Antonio Filieri,Carlo Ghezzi,Dino Mandrioli
0 · from ArXiv:cs.SE · published 04/2013
1

SOA Embedded in BPM: A High Level View of Object Oriented Paradigm. (arXiv:1304.7345v1 [cs.SE])
By Imran Sarwar Bajwa
0 · from ArXiv:cs.SE · published 04/2013
1

SBVR vs OCL: A Comparative Analysis of Standards. (arXiv:1304.7346v1 [cs.SE])
By Imran Sarwar Bajwa,Behzad Bordbar,Mark Lee
0 · from ArXiv:cs.SE · published 04/2013
1

Revisiting Timed Specification Theory II : Realisability. (arXiv:1304.7590v1 [cs.LO])
By Chris Chilton,Marta Kwiatkowska,Xu Wang
0 · from ArXiv:cs.SE · published 04/2013
1

Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. (arXiv:1304.7614v1 [cs.SE])
By Guoxin Su,David S.Rosenblum
0 · from ArXiv:cs.SE · published 04/2013
1

Model Based Synthesis of Control Software from System Level Formal Specifications. (arXiv:1107.5638v3 [cs.SE] UPDATED)
By Federico Mari,Igor Melatti,Ivano Salvo,Enrico Tronci
0 · from ArXiv:cs.SE · published 04/2013
1

What Makes Code Hard to Understand?. (arXiv:1304.5257v2 [cs.SE] UPDATED)
By Michael Hansen,Robert L. Goldstone,Andrew Lumsdaine
0 · from ArXiv:cs.SE · published 04/2013
1

Apricot - An Object-Oriented Modeling Language for Hybrid Systems. (arXiv:1304.6498v1 [cs.SE])
By Huixing Fang,Huibiao Zhu,Jianqi Shi
0 · from ArXiv:cs.SE · published 04/2013
1

Software Design Principles of a DFS Tower A-CWP Prototype. (arXiv:1304.6505v1 [cs.SE])
By Felix Schmitt,Ralf Heidger,Stephen Straub,Benjamin Weiß
0 · from ArXiv:cs.SE · published 04/2013
1

Toward Recovering Complete SRS for Softbody Simulation System and a Sample Application - a Team 4 SOEN6481-W13 Project Report. (arXiv:1304.6506v1 [cs.SE])
By Oualid El Halimi,Peyman Derafshkavian,Abdulrhman Albeladi,Faisal Alrashdi
0 · from ArXiv:cs.SE · published 04/2013
1

A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. (arXiv:1304.6656v1 [cs.SE])
By Francesco Flammini,Stefano Marrone,Nicola Mazzocca,Valeria Vittorini
0 · from ArXiv:cs.SE · published 04/2013
1

GPU Scripting and Code Generation with PyCUDA. (arXiv:1304.5553v1 [cs.SE])
By Andreas Klöckner,Nicolas Pinto,Bryan Catanzaro,Yunsup Lee,Paul Ivanov,Ahmed Fasih
0 · from ArXiv:cs.SE · published 04/2013
1

What Makes Code Hard to Understand?. (arXiv:1304.5257v1 [cs.SE])
By Michael Hansen,Robert L. Goldstone,Andrew Lumsdaine
0 · from ArXiv:cs.SE · published 04/2013
1

K model for designing Data Driven Test Automation Frameworks and its Design Architecture Snow Leopard. (arXiv:1304.5317v1 [cs.SE])
By Rohan R. Kachewar
0 · from ArXiv:cs.SE · published 04/2013
1

Expressando Atributos N\~ao-Funcionais em Workflows Cient\'ificos. (arXiv:1304.5099v1 [cs.CE])
By Vivian Medeiros,Antonio Tadeu Azevedo Gomes
0 · from ArXiv:cs.SE · published 04/2013
1

Some approximations in Model Checking and Testing. (arXiv:1304.5199v1 [cs.LO])
By M.C. Gaudel,R. Lassaigne,F. Magniez,M. de Rougemont
0 · from ArXiv:cs.SE · published 04/2013
1

Product line Development Architectural Model. (arXiv:1304.4664v1 [cs.SE])
By A. Chaudhary,B. K.Verma,J. L. Raheja,
0 · from ArXiv:cs.SE · published 04/2013
1

A Survey of Software Reliability Models. (arXiv:1304.4539v1 [cs.SE])
By Ganesh J. Pai
0 · from ArXiv:cs.SE · published 04/2013
1

Comparative Study and Analysis of Variability Tools. (arXiv:1304.3912v1 [cs.SE])
By Mahendra Reddy Bhumula
0 · from ArXiv:cs.SE · published 04/2013

more ->