3358 search results - page 277 / 672 » Dynamic Description Logics |
191
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...
130
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...
142
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Recent work in the field of computational evolutionary linguistics suggests that the dynamics arising from the cultural evolution of language can explain the emergence o...
161
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecs three levels of abstraction and descri...
304
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...