2335 search results - page 295 / 467 » Type Checking Type Classes |
101
Voted
AIMSA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Spoken audio is an important source of information available to knowledge extraction and management systems. Organization of spoken messages by priority and content can f...
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
101
Voted
DASFAA
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract. Certain types of database-backed web sites heavily utilize userdefined functions in SQL queries. Unfortunately, existing web proxy caching schemes can not handle these fu...
CSCLP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. An interesting class of production/inventory control problems considers a single product and a single stocking location, given a stochastic demand with a known non-statio...
105
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 4 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...