1525 search results - page 189 / 305 » Formal Models for Communication-Based Design |
133
click to vote
SEDE
2010
14 years 10 months ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
90
Voted
FUIN
2008
15 years 26 days ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
148
Voted
TASE
2008
IEEE
15 years 21 days ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
118
click to vote
CEC
2011
IEEE
14 years 23 days ago
2011
IEEE
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...
100
Voted
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
Business and economic considerations are driving the extensive use of service differentiation in Virtual Private Networks (VPNs) operated for business enterprises today. The resul...