4965 search results - page 140 / 993 » A Simple Abstraction for Data Modeling |
203
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
180
click to vote
IDEAL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this study we used a new agent-based approach, an artificial market approach, to analyze the ways that dealers process the information in financial news. We compared b...
169
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
157
click to vote
INTERACT
2003
15 years 7 months ago
2003
Abstract: Development of new text and graphical input devices is considered to be important part of humancomputer interaction by many researchers worldwide. Our paper presents our ...
173
click to vote
DBSEC
2008
15 years 7 months ago
2008
Abstract. We propose a new privacy model for XML data called Privacy for All (P4A) to capture collectors privacy practice and data providers privacy preferences. Through P4A data c...