4693 search results - page 665 / 939 » Verifying Hybrid Systems |
147
click to vote
ICAC
2005
IEEE
16 years 9 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
166
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
193
click to vote
EWSA
2004
Springer
16 years 3 days ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
184
Voted
PPDP
2004
Springer
16 years 1 days ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
169
click to vote
SAINT
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes a person-centered approach for personal task management in which people can decide management of their tasks according to their environments including their su...