4985 search results - page 318 / 997 » Observation of String-Rewriting Systems |
154
click to vote
DRUMS
1998
Springer
15 years 9 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
141
click to vote
ISSS
1997
IEEE
15 years 9 months ago
1997
IEEE
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...
153
click to vote
SIGCOMM
1997
ACM
15 years 9 months ago
1997
ACM
Subjecting a mobile computing system to wireless network conditions that are realistic yet reproducible is a challenging problem. In this paper, we describe a technique called tra...
128
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, a novel artificial potential function is proposed for planning the path of a robotic sensor in a partially observed environment containing multiple obstacles and mul...
145
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...