592 search results - page 93 / 119 » CTL Model Update: Semantics, Computations and Implementation |
126
click to vote
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
122
Voted
COMGEO
2010
ACM
15 years 5 months ago
2010
ACM
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
ASM
2008
ASM
15 years 3 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
138
Voted
SPE
2002
15 years 1 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
128
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Wikis have proven to be a valuable tool for collaboration and content generation on the web. Simple semantics and ease-of-use make wiki systems well suited for meeting many emergi...