780 search results - page 81 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
ITP
2010
14 years 22 days ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
ER
2007
Springer
14 years 23 days ago
2007
Springer
This paper presents a methodology to derive views over a relational database by applying a sequence of appropriately defined operations to the global schema. Such tailoring and com...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
ICALT
2007
IEEE
14 years 3 months ago
2007
IEEE
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
Advances in the areas of embedded systems, computing, and networking are leading to an infrastructure composed of millions of heterogeneous devices. These devices will not simply ...