5085 search results - page 361 / 1017 » Multidimensional Design by Examples |
166
click to vote
COLCOM
2005
IEEE
16 years 28 days ago
2005
IEEE
The trusted computing bases (TCBs) of applications running on today’s commodity operating systems have become extremely large. This paper presents an architecture that allows to...
157
click to vote
MEMOCODE
2005
IEEE
16 years 26 days ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
199
click to vote
WOWMOM
2005
ACM
16 years 26 days ago
2005
ACM
This paper considers the small-world phenomenon in two contexts: ubiquitous computing and security. We argue that small-world properties emerge in ubicomp systems due to their nat...
183
click to vote
ECAL
2005
Springer
16 years 25 days ago
2005
Springer
The classical approach to using utility functions suffers from the drawback of having to design and tweak the functions on a case by case basis. Inspired by examples from the anim...
164
click to vote
ER
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Current UML Profiles for Business Process Modelling realise a narrow focus of the process, and capture the process flow on a low level of detail. They do not provide a co...