1522 search results - page 185 / 305 » Practical Exception Specifications |
107
Voted
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
We describe a new algorithm for floorplan evaluation using timing-driven buffered routing according to a prescribed buffer site map. Specifically, we describe a provably good mult...
126
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
This paper sums up lessons learned from a sequence of cooperative design workshops where end users were enabled to design mobile systems through scenario building, role playing, a...
233
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
193
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
184
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...