Sciweavers

2736 search results - page 334 / 548
» Understanding programmer language
Sort
View
CONCURRENCY
2010
114views more  CONCURRENCY 2010»
15 years 6 months ago
A step towards refining and translating B control annotations to Handel-C
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
Wilson Ifill, Steve A. Schneider
JCIT
2008
136views more  JCIT 2008»
15 years 6 months ago
ARMMS - Architecture Reference Model for Multilingual Software
Multilingual software development is put in limelight due to the globalization efforts of the organization. But these development approaches do not have any reference model or fra...
V. Prasanna Venkatesan, S. Kuppuswami
JFP
2006
80views more  JFP 2006»
15 years 6 months ago
Static analysis for path correctness of XML queries
A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages...
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo...
CIE
2004
Springer
15 years 6 months ago
University of Southern California's Institute for Creative Technologies
When dealing with large, distributed systems that use state-of-the-art components, individual components are usually developed in parallel. As development continues, the decouplin...
Michael van Lent
LISP
2002
105views more  LISP 2002»
15 years 6 months ago
Specification Diagrams for Actor Systems
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
Scott F. Smith, Carolyn L. Talcott