3725 search results - page 213 / 745 » DLP System Description |
162
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
221
click to vote
KRMED
2008
15 years 8 months ago
2008
In this paper a description is presented in which the architectural, lexical and mapping differences are foregrounded between two compositional systems, both operating in the heal...
138
click to vote
ANLP
2000
15 years 8 months ago
2000
This paper presents a parsing system for the detection of syntactic errors. It combines a robust partial parser which obtains the main sentence components and a finite-state parse...
144
click to vote
SPRINGSIM
2007
15 years 7 months ago
2007
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...
135
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
It is shown that just as we did for a purely resistive network [10], that circuit analysis is very simple if the elements are described not by potentials across and currents throug...