875 search results - page 89 / 175 » Specification Modules for Methodical System Development |
115
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
112
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
106
click to vote
AUTOMATICA
2010
15 years 2 months ago
2010
Linear System Identification yields a nominal model parameter, which minimizes a specific criterion based on the single inputoutput data set. Here we investigate the utility of va...
130
click to vote
ENTCS
2008
15 years 2 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
112
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...