3605 search results - page 536 / 721 » Associated types with class |
247
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
266
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
162
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
2. Support for User Interaction Source Viewer 3D is a software visualization framework that uses a 3D metaphor to represent software system and analysis data. The 3D representation...
144
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
We address the problem of updating XML views over relational data by translating view updates expressed in the XQuery update facility to embedded SQL updates. Although our XML view...
133
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
—One of the major threats to cyber security is the Distributed Denial-of-Service (DDoS) attack. In our previous projects, PacketScore, ALPi, and other statistical filtering-based...