Results 1 - 10 of 25,473

Table 1. An algebraic specification of the object place.

in A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction
by Sabine Timpf, Sabine Timpf Gary S. Volta, Andrew U. Frank, Max J. Egenhofer 1992
"... In PAGE 5: ...ig. 1. Highways, interchanges, and places shown at the Planning Level. A place at this level can be specified as demonstrated in Table1 . The object apos;s underlying figure is a vertex (which is a node in the graph model) and the vertex is assumed to be already specified.... ..."
Cited by 41

Table 3: Vehicle Dynamics Specifications

in Integrated, Feed-Forward Hybrid Electric Vehicle Simulation in SIMULINK and its Use for Power Management Studies
by Chan-Chiao Lin, Zoran Fillipi, Yongsheng Wang, Loucas Louca, Huel Peng, Dennis Assanis, Jeffrey Stein
"... In PAGE 4: ... The two components are coupled through the road/tire interaction. The development of the vehicle dynamics model is given in [16] and its key parameter values are given in Table3 of the Appendix. The vehicle dynamics are also modeled using the bond graph language within the 20SIM environment.... ..."

Table 1. Mapping of Entities between Timing Diagrams and Algebraic Specifications.

in unknown title
by unknown authors 2007
"... In PAGE 2: ... Since our testing methodology is built on algebraic specifications [7], the editor further translates the CFSM model into an algebraic representation. Table1 shows a mapping of the entities between timing diagrams and algebraic specifications. For example, stations and actions in timing diagrams bear the same meaning as classes and methods in algebraic specifications.... ..."
Cited by 2

TABLE 1 Upper and lower bounds for dynamic algebraic problems.

in Lower Bounds for Dynamic Algebraic Problems
by Gudmund Skovbjerg Frandsen, Johan P. Hansen, Peter Bro Miltersen

Table 8. Algebraic Specification Case Study. Time period 1997 - current

in The Use of Domain Knowledge in Program Understanding
by Spencer Rugaber 2000
Cited by 9

Table 1. Logical and physical algebras.

in A Parallel Algebra For Object Databases
by Sandra de F. Mendes Sampaio, et al. 1999
"... In PAGE 3: ... Such an algebra is system-specific, meaning that different systems may implement the same data model and the same logical algebra, but may use different physical algebras [12]. Table1 shows the logical and the physical operators used by the conventional optimizer. We describe the physical algebra operators in more detail in section 3.... ..."
Cited by 7

Table 4: Formal Specification for Dynamic Class

in Acknowledgements
by unknown authors 2001
"... In PAGE 11: ...able 3: Formal Specification for Static Class............................................................. 70 Table4 : Formal Specification for Dynamic Class.... ..."

Table III. Dynamic constraints formal specification

in GEO-RBAC: A spatially aware RBAC
by Maria Luisa Damiani, Elisa Bertino, Barbara Catania 2005
Cited by 8

Table A2 Vehicle dynamics specifications.

in Modelling and control of a medium-duty hybrid electric truck
by C. -c. Lin, Z. Filipi, L. Louca, H. Peng, D. Assanis, J. Stein

Table 2. The operations of the Compound Term Composition Algebra

in An Algebraic Method for Compressing Very Large Symbolic Data Tables
by Yannis Tzitzikas 2004
"... In PAGE 5: ... The self-product op- erations allow specifying the meaningful compound terms over one facet. Specif- ically, the definition of each operation of CTCA is summarized in Table2 where S, S0 denote compound terminologies. In addition, (Se; ) is called the compound taxonomy of e.... ..."
Cited by 3
Results 1 - 10 of 25,473