10072 search results - page 176 / 2015 » Composition of Model Programs |
250
click to vote
FOGA
2011
14 years 9 months ago
2011
Analyzing the computational complexity of evolutionary algorithms (EAs) for binary search spaces has significantly informed our understanding of EAs in general. With this paper, ...
178
click to vote
ATVA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
156
click to vote
CCGRID
2005
IEEE
15 years 12 months ago
2005
IEEE
The emerging service grids bring together various distributed services to a ‘market’ for clients to request and enable the integration of services across distributed, heteroge...
151
click to vote
DATE
2008
IEEE
16 years 25 days ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
170
Voted
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Emerging as the popular choice for leading Internet companies to expose internal data and resources, RESTful Web services are attracting increasing attention in the industry. Whil...