1016 search results - page 107 / 204 » Embedded Computing: New Directions in Architecture and Autom... |
130
click to vote
EWSA
2004
Springer
15 years 7 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
123
click to vote
3DOR
2009
15 years 2 months ago
2009
When drafting new buildings, architects make intensive use of existing 3D models including building elements, furnishing, and environment elements. These models are either directl...
132
click to vote
JIT
2004
Springer
15 years 7 months ago
2004
Springer
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
127
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
101
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
NAMD is a scalable molecular dynamics application, which has demonstrated its performance on several parallel computer architectures. Strong scaling is necessary for molecular dyn...