2500 search results - page 432 / 500 » Specifying Behavior in C |
133
click to vote
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
Two convincing paradigms have emerged for achieving scalability in widely distributed systems: publish/subscribe communication and role-based, policy-driven control of access to t...
146
click to vote
CASCON
2007
15 years 4 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
153
click to vote
SEDE
2008
15 years 4 months ago
2008
: In this paper, we present reliable algorithms for fuzzy k-means and C-means that could improve MRI segmentation. Since the k-means or FCM method aims to minimize the sum of squar...
155
click to vote
AAAI
2004
15 years 4 months ago
2004
A standard intuition underlying traditional accounts of belief change is the principle of minimal change. In this paper we introduce a novel account of belief change in which the ...
160
click to vote
BIOCOMP
2006
15 years 4 months ago
2006
: A novel, non-touch, screen pointing "magic wand" interface is proposed for surgeon's use in an environment requiring simultaneous display of several patients'...