1328 search results - page 183 / 266 » Cut-free common knowledge |
140
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
In this paper, a case study investigating the experiences from using product-line architectures is presented involving two swedish companies, Axis Communications AB and Securitas ...
135
Voted
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
Field programmable gate arrays (FPGAs) are commonly used in embedded systems. Although it is possible to reconfigure some FPGAs while an embedded system is operational, this featu...
162
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
118
click to vote
SPATIALCOGNITION
1998
Springer
15 years 8 months ago
1998
Springer
In the course of acquiring knowledge about layouts and maps spatial information can undergo considerable changes and distortions, which systematically affect knowledge-based judgme...
128
click to vote
SIGMOD
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents general algorithms for concurrency control in tree-based access methods as well as a recovery protocol and a mechanism for ensuring repeatable read. The algori...