2409 search results - page 295 / 482 » Logical systems for structured specifications |
133
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
135
click to vote
USENIX
2000
15 years 5 months ago
2000
Mobile computers often benefit from software which adapts to their location. For example, a computer might be backed up when at the office, or the default printer might always be ...
144
click to vote
ENTCS
2006
15 years 4 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
178
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
144
Voted
WCE
2007
15 years 5 months ago
2007
—This paper is concerned with the application of a conversational agent and expert system to provide a natural language interface to a database. Typically, natural language datab...