6020 search results - page 84 / 1204 » A New Approach to Model Counting |
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
124
click to vote
JORS
2010
14 years 10 months ago
2010
The Basel New Accord which is being implemented throughout the banking world on 1 January 2007 has made a significant difference to the use of modelling within financial organisat...
120
Voted
EICS
2010
ACM
15 years 5 months ago
2010
ACM
Information Systems UI (User Interface) generation from declarative models has been the focus of numerous and various approaches in the human computer interaction community. Typic...
178
click to vote
ECCV
1998
Springer
16 years 5 months ago
1998
Springer
In this paper we present a method to derive 3D shape and surface texture of a human face from a single image. The method draws on a general flexible 3D face model which is "le...
114
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
A plethora of aspect mechanisms exist today. All of these diverse mechanisms integrate concerns into artifacts that exhibit crosscutting structure. What we lack and need is a char...