Sciweavers

23036 search results - page 4412 / 4608
» Sketching informal presentations
Sort
View
MKM
2005
Springer
16 years 2 days ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase
MMMACNS
2005
Springer
16 years 2 days ago
A Passive External Web Surveillance Technique for Private Networks
The variety and richness of what users browse on the Internet has made the communications of web-browsing hosts an attractive target for surveillance. We show that passive external...
Constantine Daicos, Scott Knight
OOPSLA
2005
Springer
16 years 2 days ago
A software product line architecture for distributed real-time and embedded systems: a separation of concerns approach
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
Shih-Hsi Liu
OOPSLA
2005
Springer
16 years 1 days ago
Quantifying the performance of garbage collection vs. explicit memory management
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...
Matthew Hertz, Emery D. Berger
OOPSLA
2005
Springer
16 years 1 days ago
Finding application errors and security flaws using PQL: a program query language
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
Michael C. Martin, V. Benjamin Livshits, Monica S....
« Prev « First page 4412 / 4608 Last » Next »