3828 search results - page 513 / 766 » Proof-Based System Engineering Using a Virtual System Model |
174
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a swarm grammar system that makes use of bio-inspired mechanisms of reproduction, communication and construction in order to build three-dimensional struc...
204
click to vote
EUROMICRO
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
177
click to vote
IISWC
2006
IEEE
16 years 26 days ago
2006
IEEE
Workload characterization involves the understanding of the relationship between workload configurations and performance characteristics. To better assess the complexity of worklo...
326
click to vote
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
180
click to vote
CCGRID
2005
IEEE
16 years 14 days ago
2005
IEEE
Internet data centers (IDCs) perform multi-customer hosting on a virtualized collection of resources while Grid computing generalizes distributed computing by focusing on large sc...