Sciweavers

2804 search results - page 462 / 561
» Next Generation Internet
Sort
View
UML
2005
Springer
14 years 2 months ago
Tool Support for OCL and Related Formalisms - Needs and Trends
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used speciļ¬cation language. If the focus of the de...
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Ma...
CF
2004
ACM
14 years 2 months ago
A first glance at Kilo-instruction based multiprocessors
The ever increasing gap between processor and memory speed, sometimes referred to as the Memory Wall problem [42], has a very negative impact on performance. This mismatch will be...
Marco Galluzzi, Valentin Puente, Adrián Cri...
NSPW
2004
ACM
14 years 2 months ago
Property-based attestation for computing platforms: caring about properties, not mechanisms
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
Ahmad-Reza Sadeghi, Christian Stüble
SIGSOFT
2004
ACM
14 years 2 months ago
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
Jürgen Dingel, Hongzhi Liang
ICCHP
2004
Springer
14 years 2 months ago
Exploring Scalable Vector Graphics for Visually Impaired Users
Graphical information is very important in common information publishing. For visually impaired users this information is usually not accessible. Scalable Vector Graphics, a recomm...
Martin Rotard, Kerstin Otte, Thomas Ertl