3160 search results - page 241 / 632 » Postcards from the future |
148
click to vote
RTA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
159
click to vote
SEMWEB
2005
Springer
16 years 4 days ago
2005
Springer
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...
196
click to vote
TGC
2005
Springer
16 years 4 days ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
153
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
182
click to vote
WAC
2005
Springer
16 years 4 days ago
2005
Springer
Self-organized and ad hoc communications have many fundamental principles in common and also face similar problems in the domains of security and Quality of Service. Trust manageme...