12981 search results - page 607 / 2597 » Model Checking (Abstract) |
171
click to vote
IANDC
2007
15 years 7 months ago
2007
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
210
click to vote
CIC
2004
15 years 8 months ago
2004
Peer-to-Peer computing is a model consisting of cooperating distributed processing units terms peers. Characteristics of this computing model include lack of centralized control an...
194
click to vote
FCT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...
149
click to vote
ICONIP
2007
15 years 8 months ago
2007
Abstract. In this work one year hourly solar radiation data are analyzed and modeled. Using a 2-D surface fitting approach, a novel model is developed for the general behavior of ...
192
click to vote
TAOSD
2010
15 years 5 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...