Sciweavers

595 search results - page 50 / 119
» Little languages: little maintenance
Sort
View
ICALP
2007
Springer
14 years 1 months ago
Distributed Computing with Advice: Information Sensitivity of Graph Coloring
Abstract. We study the problem of the amount of information (advice) about a graph that must be given to its nodes in order to achieve fast distributed computations. The required s...
Pierre Fraigniaud, Cyril Gavoille, David Ilcinkas,...
IFIP
2000
Springer
14 years 24 days ago
A New Approach to Software Integration Frameworks for Multi-physics Simulation Codes
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
Eric de Sturler, Jay Hoeflinger, Laxmikant V. Kal&...
ESOP
2010
Springer
14 years 16 days ago
TRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
Adam Koprowski, Henri Binsztok
BPM
2006
Springer
149views Business» more  BPM 2006»
13 years 11 months ago
Verifying BPEL Workflows Under Authorisation Constraints
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishn...
ACL
2008
13 years 10 months ago
Better Alignments = Better Translations?
Automatic word alignment is a key step in training statistical machine translation systems. Despite much recent work on word alignment methods, alignment accuracy increases often ...
Kuzman Ganchev, João Graça, Ben Task...