Sciweavers

6054 search results - page 830 / 1211
» Implementation of Andorra-based Languages
Sort
View
ISI
2003
Springer
15 years 12 months ago
Active Database Systems for Monitoring and Surveillance
In many intelligence and security tasks it is necessary to monitor data in database in order to detect certain events or changes. Currently, database systems offer triggers to pro...
Antonio Badia
AGP
2010
IEEE
15 years 12 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Alberto Momigliano, Mario Ornaghi
DATE
2002
IEEE
119views Hardware» more  DATE 2002»
15 years 11 months ago
UML for Embedded Systems Specification and Design: Motivation and Overview
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
Grant Martin
208
Voted
EDOC
2002
IEEE
15 years 11 months ago
Workflow-Based Composition of Web-Services: A Business Model or a Programming Paradigm?
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
Dinesh Ganesarajah, Emil Lupu
HICSS
2002
IEEE
119views Biometrics» more  HICSS 2002»
15 years 11 months ago
Modeling Business Media Platforms
The high speed at which new businesses are developed can to a large extent be attributed to their ability to flexibly combine existing services into an integrated business platfor...
Markus Greunz, Katarina Stanoevska-Slabeva