Sciweavers

1912 search results - page 88 / 383
» XML Technologies and Software Engineering
Sort
View
PPDP
2010
Springer
14 years 10 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
108
Voted
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
15 years 6 months ago
XML Based Robust Client-Server Communication for a Distributed Telecommunication Management System
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
Karl M. Göschka, Helmut Reis, Robert Smeikal
PARA
1998
Springer
15 years 5 months ago
Technologies for Teracomputing: A European Option
Abstract. Ahardware and software environment with performance above 1 Tera ops (teracomputing) is presently required to face the leading computational challenges not only in fundam...
Agostino Mathis
102
Voted
ICSE
1999
IEEE-ACM
15 years 5 months ago
A Cooperative Approach to Support Software Deployment Using the Software Dock
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...
Richard S. Hall, Dennis Heimbigner, Alexander L. W...
103
Voted
CAISE
2005
Springer
15 years 6 months ago
Concepts of Product Software: Paving the Road for Urgently Needed Research
Software products are an everyday phenomenon. Yet, there are very few scientific studies reported on the engineering of software as a product in particular. This paper stipulates ...
Lai Xu, Sjaak Brinkkemper