Sciweavers

2477 search results - page 368 / 496
» Object list controlled process data system
Sort
View
SMA
2006
ACM
136views Solid Modeling» more  SMA 2006»
15 years 8 months ago
Controlled-topology filtering
Many applications require the extraction of isolines and isosurfaces from scalar functions defined on regular grids. These scalar functions may have many different origins: from ...
Yotam I. Gingold, Denis Zorin
EACL
1989
ACL Anthology
15 years 3 months ago
A rich environment for experimentation with unification grammars
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
Rod L. Johnson, Mike Rosner
IADIS
2004
15 years 3 months ago
A Framework for Symbolic Distributed Computer-Aided Design over the Internet
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
Yingcai Xiao, Shivakumar Kubendrachari
USS
2010
15 years 9 days ago
Securing Script-Based Extensibility in Web Browsers
Web browsers are increasingly designed to be extensible to keep up with the Web's rapid pace of change. This extensibility is typically implemented using script-based extensi...
Vladan Djeric, Ashvin Goel
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
15 years 8 months ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken