221 search results - page 15 / 45 » Evolving Logical Specification in Information Systems |
FAST
2009
13 years 5 months ago
2009
Provenance describes how an object came to be in its present state. Thus, it describes the evolution of the object over time. Prior work on provenance has focussed on databases an...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
ISEC
2001
Springer
13 years 12 months ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...
TCS
2008
13 years 7 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...