Sciweavers

759 search results - page 75 / 152
» What Can Be Implemented Anonymously
Sort
View
HASKELL
2008
ACM
13 years 11 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki
CCR
2006
89views more  CCR 2006»
13 years 10 months ago
A passive state-machine approach for accurate analysis of TCP out-of-sequence segments
In this paper we describe a new tool being made available to the networking research community for passive analysis of TCP segment traces. The purpose of the tool is to provide mo...
Sushant Rewaskar, Jasleen Kaur, F. Donelson Smith
SAC
2008
ACM
13 years 9 months ago
Symbiosis in logic-based pointcuts over a history of join points
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
Kris Gybels, Charlotte Herzeel, Theo D'Hondt
PPDP
2010
Springer
13 years 8 months ago
Generic record combinators with static type checking
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
Wolfgang Jeltsch
ICAIL
2009
ACM
14 years 4 months ago
Reasoning with spatial plans on the semantic web
ct Land use regulations are an important but often underrated legal domain. Especially in densely populated regions such as the Netherlands, spatial plans have a profound impact on...
Rinke Hoekstra, Radboud Winkels, Erik Hupkes