Sciweavers

6343 search results - page 1108 / 1269
» Development of a Cartographic Language
Sort
View
FORTE
2004
15 years 5 months ago
Localizing Program Errors for Cimple Debugging
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
Samik Basu, Diptikalyan Saha, Scott A. Smolka
I3E
2004
145views Business» more  I3E 2004»
15 years 5 months ago
Evolution of Service Processes by Rule Based Transformation
: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...
Christian Zirpins, Giacomo Piccinelli
IADIS
2004
15 years 5 months ago
A new use of XML for querying databases in Web applications
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...
Ana Fermoso García, María José...
139
Voted
IADIS
2004
15 years 5 months ago
A distributed monitoring system with global network and Web technology
A distributed monitoring system has been developed, which is organized with network cameras, an integrated web/mail server, web-based clients including high-performance cellular p...
Yoshiro Imai, Daisuke Yamane, Osamu Sadayuki
IC
2004
15 years 5 months ago
IskaWeb: A Web-Based Information System for the Classification of Industrial Wastes
Industrial wastes must be classified at least two times on the way from the owner of the waste to the waste disposal facility in order to ensure that waste handling is in conformi...
J. O. Dada, Hans-Dieter Kochs, Jörg Petersen
« Prev « First page 1108 / 1269 Last » Next »