197 search results - page 36 / 40 » Structural Operational Semantics for Stochastic Process Calc... |
GLOBECOM
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—We consider the location service in a mobile adhoc network (MANET), where each node needs to maintain its location information in the network by (i) frequently updating ...
JUCS
2006
13 years 6 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
ICMI
2009
Springer
14 years 1 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
IJCAI
1993
13 years 8 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...