3765 search results - page 395 / 753 » Formal Methods for Systems Engineering Behavior Models |
305
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
188
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
180
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
172
click to vote
FASE
2003
Springer
16 years 15 hour ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
199
click to vote
ASP
2003
Springer
16 years 1 days ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...