Sciweavers

7452 search results - page 1354 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
154
Voted
MIS
2005
Springer
152views Multimedia» more  MIS 2005»
15 years 10 months ago
Intelligent Delivery of Multimedia Content in a Device Aware Ubiquitous Environment
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
Conor Muldoon, Gregory M. P. O'Hare, Rem W. Collie...
TGC
2005
Springer
15 years 10 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
TLCA
2005
Springer
15 years 10 months ago
Avoiding Equivariance in Alpha-Prolog
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
Christian Urban, James Cheney
VLDB
2005
ACM
119views Database» more  VLDB 2005»
15 years 10 months ago
Database-Inspired Search
“W3QL: A Query Language for the WWW”, published in 1995, presented a language with several distinctive features. Employing existing indexes as access paths, it allowed the sel...
David Konopnicki, Oded Shmueli
IUI
2004
ACM
15 years 10 months ago
Ontology modeling tool with concept dictionary
The usefulness of ontology is strongly dependent on the knowledge representation policy and its maintenance. The subject of knowledge representation and modeling tool has been one...
Yoichi Hiramatsu, Seiji Koide
« Prev « First page 1354 / 1491 Last » Next »