Sciweavers

29 search results - page 5 / 6
» Primitive Rewriting
Sort
View
97
Voted
CORR
2009
Springer
100views Education» more  CORR 2009»
14 years 11 months ago
Programming Idioms for Transactional Events
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
Matthew Kehrt, Laura Effinger-Dean, Michael Schmit...
124
Voted
PPDP
2010
Springer
14 years 11 months ago
Rewrite-based verification of XML updates
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
Florent Jacquemard, Michaël Rusinowitch
103
Voted
PRICAI
2004
Springer
15 years 6 months ago
Creative 3D Designs Using Interactive Genetic Algorithm with Structured Directed Graph
We propose a methodology for representing artificial creatures like 3D flowers. Directed graph and Lindenmayer system (L-system) are commonly involved in AI-based creativity resear...
Hyeun-Jeong Min, Sung-Bae Cho
105
Voted
FROCOS
2007
Springer
15 years 7 months ago
Towards an Automatic Analysis of Web Service Security
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
110
Voted
COSIT
2003
Springer
129views GIS» more  COSIT 2003»
15 years 6 months ago
Linearized Terrain: Languages for Silhouette Representations
The scope of this paper is a qualitative description of terrain features that can be characterized using the silhouette of a terrain. The silhouette is a profile of a landform seen...
Lars Kulik, Max J. Egenhofer