7197 search results - page 1064 / 1440 » On the computational power of BlenX |
196
Voted
LISA
2008
15 years 9 months ago
2008
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
170
click to vote
ACMIDC
2008
15 years 9 months ago
2008
Given the fracturing of virtual and physical spaces, young people are less involved in their local surrounding spaces. Yet, investing the community space is related to sense of co...
223
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper, the results of a semi-supervised approach based on the Expectation-Maximisation algorithm for model-based clustering are presented. We show in this work that, if th...
173
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
188
Voted
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
In this paper a sequence of model transformation languages L0, L1, L2 is defined. The first language L0 is very simple, and for this language it is easy to build an efficient compi...