1419 search results - page 162 / 284 » Notes on Formalizing Context |
131
click to vote
STEP
2003
IEEE
15 years 6 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
116
Voted
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
SAS
2001
Springer
15 years 5 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
101
click to vote
DSN
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
107
click to vote
FM
1999
Springer
15 years 5 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...