302 search results - page 23 / 61 » An approach to synthesise safe systems |
118
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
—Recent advances in mobile handheld devices have facilitated the ubiquitous availability of location based services. Systems which provide location based services have always bee...
108
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
126
click to vote
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
116
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
POPL
1991
ACM
15 years 3 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...