Sciweavers

4078 search results - page 184 / 816
» On the Emergence of New Computer Technologies
Sort
View
ETFA
2006
IEEE
16 years 20 days ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
ICDE
2005
IEEE
158views Database» more  ICDE 2005»
16 years 7 days ago
An Analysis of Spatio-Temporal Query Processing in Sensor Networks
Sensor networks are an emerging technology that provide new means to monitor and understand various phenomena. Nodes in a sensor network typically have a limited power supply, thu...
Alexandru Coman, Jörg Sander, Mario A. Nascim...
ECMAST
1999
Springer
142views Multimedia» more  ECMAST 1999»
15 years 11 months ago
Enabling Flexible Services Using XML Metadata
Combining eXtensible Markup Language (XML) and Active Layer Networking may yield strong benefits for networked services. A Wide range of new Multimedia applications can be develope...
Luis Velasco, Ian Marshall
WEBNET
2001
15 years 8 months ago
XML-Based Automatic Web Presentation Generation
: This paper presents a method that automates hypermedia presentation generation on the Web. The method is based on RMM (Relationship Management Methodology) for aspects of hyperme...
Flavius Frasincar, Geert-Jan Houben
FUIN
2008
81views more  FUIN 2008»
15 years 6 months ago
On the Use of Behavioural Equivalences for Web Services' Development
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...