11017 search results - page 342 / 2204 » Closure Systems and their Structure |
170
Voted
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
226
click to vote
COMPASS
1994
15 years 11 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
164
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we apply the robust redesign for transient performance recovery of nonlinear systems with input uncertainties developed in [2] to a spacecraft attitude tracking probl...
171
click to vote
CSCWD
2005
Springer
15 years 8 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
164
click to vote
CLEIEJ
2007
15 years 6 months ago
2007
: Active Database Systems (ADBSs) provides a good infrastructure to define and execute active rules. Nevertheless, this infrastructure offered by ADBSs does not completely satisfy ...