Sciweavers

3408 search results - page 396 / 682
» Logic, language, information and computation
Sort
View
ICSOC
2010
Springer
15 years 4 months ago
Automatic Fragment Identification in Workflows Based on Sharing Analysis
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegi...
AGP
1994
IEEE
15 years 11 months ago
What the Event Calculus actually does, and how to do it efficiently
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
Iliano Cervesato, Luca Chittaro, Angelo Montanari

Book
403views
17 years 2 months ago
Eloquent JavaScript An opinionated guide to programming
"Eloquent JavaScript is a digital book providing a comprehensive introduction (tutorial) to the JavaScript programming language. Apart from a bookful of text, it contains plen...
Marijn Haverbeke
VL
2006
IEEE
105views Visual Languages» more  VL 2006»
16 years 25 days ago
Crossmodal Interaction with Mobile Devices
This paper describes an alternative form of interaction for mobile devices using crossmodal output. These crossmodal displays allow alternative senses such as hearing and touch to...
Eve E. Hoggan, Stephen A. Brewster
POLICY
2004
Springer
16 years 5 days ago
RSVP Policy Control using XACML
This work proposes a XML-based framework for distributing and enforcing RSVP access control policies, for RSVP-aware application servers. Policies are represented by extending XAC...
Emir Toktar, Edgard Jamhour, Carlos Maziero