3828 search results - page 19 / 766 » Proof-Based System Engineering Using a Virtual System Model |
COBUILD
1998
Springer
13 years 12 months ago
1998
Springer
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
ARCS
2009
Springer
14 years 2 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
DATE
2002
IEEE
14 years 20 days ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
AHS
2007
IEEE
13 years 7 months ago
2007
IEEE
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...
GLOBE
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...