Sciweavers

1065 search results - page 101 / 213
» Towards a Meaning of LIFE
Sort
View
REFSQ
2010
Springer
14 years 9 months ago
Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources
Abstract. [Context and motivation] Natural language is the main representation means of industrial requirements documents, which implies that requirements documents are inherently ...
Benedikt Gleich, Oliver Creighton, Leonid Kof
CHI
2011
ACM
14 years 2 months ago
Surfpad: riding towards targets on a squeeze film effect
We present Surfpad, a pointing facilitation technique that does not decrease target distance or increase target width in either control or display space. This new technique operat...
Géry Casiez, Nicolas Roussel, Romuald Vanbe...
101
Voted
POPL
2012
ACM
13 years 6 months ago
Towards a program logic for JavaScript
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
Philippa Gardner, Sergio Maffeis, Gareth David Smi...
SIGMOD
2003
ACM
144views Database» more  SIGMOD 2003»
15 years 11 months ago
Exchanging Intensional XML Data
XML is becoming the universal format for data exchange between applications. Recently, the emergence of Web services as standard means of publishing and accessing data on the Web ...
Tova Milo, Serge Abiteboul, Bernd Amann, Omar Benj...
86
Voted
ICC
2008
IEEE
108views Communications» more  ICC 2008»
15 years 5 months ago
Minimizing Interferences in Wireless Ad Hoc Networks through Topology Control
— This paper investigates minimizing mutual interferences in wireless ad hoc networks by means of topology control. Prior work defines interference as a relationship between link...
Guinian Feng, Soung Chang Liew, Pingyi Fan