4434 search results - page 618 / 887 » On the Composition of Hybrid Systems |
184
click to vote
ADT
2005
15 years 6 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
181
click to vote
AIR
2004
15 years 6 months ago
2004
Numerous temporal relations of verbal actions have been analysed in terms of various grammatical means of expressing verbal temporalisation such as tense, aspect, duration and iter...
145
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
183
click to vote
AROBOTS
1999
15 years 6 months ago
1999
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
192
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
In most of today's agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper...