1989 search results - page 272 / 398 » Expressive surfaces: a designerly approach for computational... |
125
Voted
DAC
2008
ACM
16 years 2 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
120
Voted
TRUST
2009
Springer
15 years 8 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
126
Voted
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
115
Voted
HPCN
2000
Springer
15 years 5 months ago
2000
Springer
Data futures in a metacomputing system refer to data products that have not yet been created but which can be uniquely named and manipulated. We employ data flow mechanisms expres...
108
click to vote
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...