1411 search results - page 79 / 283 » Case Studies of an Insider Framework |
EUROGP
2006
Springer
15 years 2 months ago
2006
Springer
This paper extends a geometric framework for interpreting crossover and mutation [4] to the case of sequences. This representation is important because it is the link between artif...
IWFM
2003
15 years 10 days ago
2003
Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the ac...
101
click to vote
ENTCS
2008
14 years 11 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
IWANN
2009
Springer
15 years 5 months ago
2009
Springer
In this paper, we present a proposal for Patients’ Mobile Monitoring. This framework enables the definition and generation of profiles, modules and communication structures betwe...
SOSE
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract: A web service usually serves many consumers, with each consumer having its specific functional or nonfunctional requirements. The web service should be customizable to me...