3864 search results - page 417 / 773 » time 2005 |
168
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
194
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
Architectural patterns are a key point in architectural documentation. Regrettably, there is poor support for modeling architectural patterns, because the pattern elements are not...
183
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
In our current connected wireless world, mobile devices are enabled to use various networking facilities. Although this enables mobile users to communicate any time and any place, ...
177
click to vote
PERVASIVE
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents u-Photo which is an interactive digital still image including information of pervasive services associated with networked appliances and sensors in pervasive co...
149
click to vote
TACAS
2005
Springer
16 years 9 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...