MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Denotational Engineering." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

23 documents found, showing 1 through 10. Next 10 →

ATOM

Petri-Nets And Hybrid-State Markov Processes In A Power-Hierarchy Of Dependability Models
by Mariken H. C. Everdij, Mariken H. C, Everdij Henk, Henk A. P. Blom — 2003
… evolution Non-nominal, i.e. evolution is according to V2. • P3 and P4 denote engine system Not working…
Cited by 6 (2 self) – Add To MetaCart

Erroneous Architecture Is A Relative Concept
by Jiri Adamek, Frantisek Plasil, Key Words — 2004
…:E.compute8 by SWITCH (denoted as !SWITCH:E.compute8 from the perspective of SWITCH); at the same time ENGINE…
Cited by 11 (5 self) – Add To MetaCart

Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog
by Paul Tarau — 1999 — In Proceedings of The Fourth International Conference on The Practical Application of Intelligent Agents and Multi-Agents
… unique Java Object denoting the engine, assigned to its own thread. It will be used, for instance, to ask…
Cited by 24 (1 self) – Add To MetaCart

Cellular motions and thermal fluctuations: The Brownian ratchet
by Charles S. Peskin, Garrett M. Odell, George F. Oster — 1993 — Biophys. J
… the term “thermal ratchet” to denote engines that employ a temperature gradient. Brownian ratchets operate…
Cited by 27 (12 self) – Add To MetaCart

The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
by Jan Philipps, Oscar Slotosch
…: “Fuel”, denoting that an engine has no fuel, “Temp”, if an engine is overheated, and “PonR”, signaling…
Cited by 13 (5 self) – Add To MetaCart

GQuery: A Query Language for GML
by Omar Boucelma, François-marie Colonna — 2004 — 24th Urban Data Management Symposium, UDMS 2004. Chioggia (Italie), 27–29 Octobre 2004
… processor and 1Go RAM. We used two other parsers - denoted Engine1 and Engine2 - to do some performance…
Cited by 3 (2 self) – Add To MetaCart

Preference Programming for Configuration
by Ulrich Junker — 2001 — In Proceedings of 4th Workshop on Configuration (IJCAI-01
… maxSpeed(car1) denotes the maximal speed of object car1, whereas engine(x) denotes the engine of x…
Cited by 12 (0 self) – Add To MetaCart

The Spex Shell: AN APPROACH TO AUTOMATING APPLICATION AND SALES ENGINEERING
by Franklyn Berry, Alexander Kott — 1992 — In Proceedings of the 1992 ASME Computers In Engineering Conference. ASME
… and specification. Different terms are used in industry to denote this engineering process: Sales Engineering…
Cited by 3 (3 self) – Add To MetaCart

An abductive approach for analysing event-based requirements specifications
by Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer — 2002 — 18th Int. Conf. on Logic Programming (ICLP
… safety properties) as a “debugging” aid for the engineer. In practical terms, it is the integration…
Cited by 18 (5 self) – Add To MetaCart

A General Framework for Finite Element A Posteriori Error Control: Application to Linear and Nonlinear Convection-Dominated Problems
by Luc Machiels, Anthony T. Patera, Jaume Peraire, Yvon Maday — 1998 — in Proc. ICFD Conference on Numerical Methods for Fluid Dynamics
… "output" denotes the engineering quantity (or quantities) of interest, that is, the metrics relevant…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB