2836 search results - page 501 / 568 » Model Checking for Software Architectures |
151
Voted
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
The NVIDIA® OptiX™ ray tracing engine is a programmable system designed for NVIDIA GPUs and other highly parallel architectures. The OptiX engine builds on the key observation ...
161
Voted
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
148
Voted
VLSID
2001
IEEE
16 years 5 months ago
2001
IEEE
Since battery life directly impacts the extent and duration of mobility, one of the key considerations in the design of a mobile embedded system should be to maximize the energy d...
221
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
180
Voted
MEDES
2009
ACM
15 years 12 months ago
2009
ACM
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...