Sciweavers

2672 search results - page 172 / 535
» Hybridizing Concept Languages
Sort
View
SEMCO
2007
IEEE
14 years 3 months ago
Harnessing Language in Mobile Environments
We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on th...
Boris Katz, Gary C. Borchardt, Sue Felshin, Federi...
SAC
2006
ACM
14 years 3 months ago
A UML 2-compatible language and tool for formal modeling real-time system architectures
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
Pietro Colombo, Matteo Pradella, Matteo Rossi
UIST
1996
ACM
14 years 1 months ago
Language-Level Support for Exploratory Programming of Distributed Virtual Environments
We describe COTERIE, a toolkit that provides languagelevel support for building distributed virtual environments. COTERIE is based on the distributed data-object paradigm for dist...
Blair MacIntyre, Steven Feiner
ECAIW
1994
Springer
14 years 1 months ago
Agent Theories, Architectures, and Languages: A Survey
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
Michael Wooldridge, Nicholas R. Jennings
VLDB
1991
ACM
171views Database» more  VLDB 1991»
14 years 21 days ago
Language Constructs for Programming Active Databases
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
Richard Hull, Dean Jacobs