395 search results - page 45 / 79 » Program abstractions for behaviour validation |
IROS
2006
IEEE
14 years 5 months ago
2006
IEEE
Abstract— This paper introduces a method of building topological maps using sequences of images and the approximate string matching algorithm, which is commonly used in DNA seque...
IAT
2005
IEEE
14 years 4 months ago
2005
IEEE
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...
WETICE
2005
IEEE
14 years 4 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
DSN
2004
IEEE
2004
IEEE
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks
14 years 2 months ago
Abstract-- Wireless sensor networks (WSNs) are large collections of resource limited nodes, densely deployed over a landscape. They gather and disseminate local data using multihop...
GG
2008
Springer
14 years 18 hour ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...