7206 search results - page 1249 / 1442 » Using a Hypermedia System for Systems Engineering |
136
Voted
ACMACE
2007
ACM
15 years 7 months ago
2007
ACM
Emergent game formats, such as machinima, that use game worlds as expressive 3D performance spaces have new expressive powers with an increase of the quality of their underlying g...
113
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
162
Voted
ISPASS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...
128
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Despite increasing interest in applying Natural Language Processing (NLP) to biomedical text, whether this technology can facilitate tasks such as database curation re...
131
Voted
TOMACS
2010
15 years 2 months ago
2010
This paper considers importance sampling as a tool for rare-event simulation. The focus is on estimating the probability of overflow in the downstream queue of a Jacksonian two-n...