10891 search results - page 1916 / 2179 » Combining Model Reductions |
123
Voted
EDBT
2008
ACM
15 years 2 months ago
2008
ACM
The goal of the Semantic Web is to support semantic interoperability between applications exchanging data on the web. The idea heavily relies on data being made available in machi...
142
click to vote
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
117
click to vote
ESAW
2008
Springer
15 years 2 months ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
114
Voted
EURONGI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The integration of mobile ad hoc networks into IP-based access networks demands the presence of a gateway which is responsible for propagating some configuration paramete...
112
Voted
EVOW
2008
Springer
15 years 2 months ago
2008
Springer
The design of computer architectures requires the setting of multiple parameters on which the final performance depends. The number of possible combinations make an extremely huge ...