1129 search results - page 122 / 226 » Modular Ranking Abstraction |
138
click to vote
ENTCS
2008
15 years 3 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
117
click to vote
JSS
2007
15 years 3 months ago
2007
In distributed object-oriented systems, there are situations where client and server objects are deployed in the same address space. In such scenarios, it is possible to dispatch ...
BC
2004
15 years 3 months ago
2004
Abstract. Synaptic release was simulated using a Simulink sequential storage model with three vesicular pools. Modeling was modular and easily extendable to the systems with greate...
128
click to vote
LISP
2002
15 years 3 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
101
Voted
TODAES
2008
15 years 2 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...