10289 search results - page 215 / 2058 » Standard bases in K |
192
click to vote
MODELS
2007
Springer
16 years 19 days ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
181
click to vote
FOCS
2006
IEEE
16 years 17 days ago
2006
IEEE
We put forward a first definition of general secure computation that, without any trusted set-up, • handles an arbitrary number of concurrent executions; and • is implementa...
141
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
With inherent problem complexity, ever increasing instance size and ever decreasing layout area, there is need in physical design for improved heuristics and algorithms. In this in...
121
click to vote
DC
2001
15 years 8 months ago
2001
This paper summarises key development issues encountered with the New Zealand Government's discovery level metadata standard, NZGLS. In particular, it discusses the need for ...
174
click to vote
SPLC
2000
15 years 7 months ago
2000
In this paper, we discuss the view that planning software development -- and particularly software reuse -- should be based not on standardized criteria, but on those criteria tha...