Sciweavers

374 search results - page 51 / 75
» An Extensible Business Communication Language
Sort
View
100
Voted
ICALP
2007
Springer
15 years 8 months ago
Co-Logic Programming: Extending Logic Programming with Coinduction
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
ICT
2004
Springer
139views Communications» more  ICT 2004»
15 years 7 months ago
A XML Policy-Based Approach for RSVP
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
CONCUR
2000
Springer
15 years 6 months ago
An Implicitly-Typed Deadlock-Free Process Calculus
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
Naoki Kobayashi, Shin Saito, Eijiro Sumii
VLDB
1998
ACM
139views Database» more  VLDB 1998»
15 years 6 months ago
Experiences in Federated Databases: From IRO-DB to MIRO-Web
From beginning of 1994 to the end of 1996, the IRO-DB ESPRIT project has developed tools for accessing relational and object-oriented databases in an integrated way. The system is...
Peter Fankhauser, Georges Gardarin, M. Lopez, J. M...
121
Voted
HCI
2009
14 years 11 months ago
Computer-Assisted Lip Reading Recognition for Hearing Impaired
Within the communication process of human beings, the speaker's facial expression and lip-shape movement contains extremely rich language information. The hearing impaired, a...
Yun-Long Lay, Hui-Jen Yang, Chern-Sheng Lin