Sciweavers

44 search results - page 8 / 9
» A degree-of-knowledge model to capture source code familiari...
Sort
View
ASM
2008
ASM
13 years 7 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
GLOBECOM
2008
IEEE
13 years 6 months ago
On the Impact of Inter-Cell Interference in LTE
—While intercell interference coordination (ICIC) for the downlink of multi-cell systems in general and orthogonal frequency division multiple access (OFDMA) networks in particul...
András Rácz, Norbert Reider, G&aacut...
PSB
2004
13 years 6 months ago
An Evidence Ontology for Use in Pathway/Genome Databases
An important emerging need in Model Organism Databases (MODs) and other bioinformatics databases (DBs) is that of capturing the scientific evidence that supports the information wi...
Peter D. Karp, Suzanne M. Paley, Cynthia J. Kriege...
HICSS
2002
IEEE
138views Biometrics» more  HICSS 2002»
13 years 10 months ago
Artificial Computer-Assisted International Negotiation: A Tool for Research and Practice
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
Daniel Druckman, Richard Harris, Bennett Ramberg
HASKELL
2009
ACM
14 years 1 days ago
A compositional theory for STM Haskell
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
Johannes Borgström, Karthikeyan Bhargavan, An...