Sciweavers

11653 search results - page 2056 / 2331
» The Development of the C Language
Sort
View
OOPSLA
2007
Springer
16 years 24 days ago
Scalable omniscient debugging
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
Guillaume Pothier, Éric Tanter, José...
TGC
2007
Springer
16 years 23 days ago
A Protocol Compiler for Secure Sessions in ML
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
Ricardo Corin, Pierre-Malo Deniélou
HICSS
2006
IEEE
163views Biometrics» more  HICSS 2006»
16 years 21 days ago
Learning Ranking vs. Modeling Relevance
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...
Dmitri Roussinov, Weiguo Fan
ASPLOS
2006
ACM
16 years 19 days ago
Temporal search: detecting hidden malware timebombs with virtual machines
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
Jedidiah R. Crandall, Gary Wassermann, Daniela A. ...
KCAP
2005
ACM
16 years 6 days ago
An instance mapping ontology for the semantic web
Semantic data transformation plays an important role in realizing the vision of the semantic web. It supports the transformation of data in different representations into ontologi...
Yuangui Lei
« Prev « First page 2056 / 2331 Last » Next »