2149 search results - page 215 / 430 » Form over Substance |
160
click to vote
HYBRID
2007
Springer
16 years 21 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
202
click to vote
ICA3PP
2007
Springer
16 years 21 days ago
2007
Springer
Ubiquitous communications require wireless networking and infrastructure network support. The first step is to look at how the different available technologies will integrate and w...
167
click to vote
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
Geocomputation has a long tradition in dealing with fuzzyness in different contexts, most notably in the challenges created by the representation of geographic space in digital for...
204
click to vote
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
Assimilation of spatially- and temporally-distributed state observations into simulations of dynamical systems stemming from discretized PDEs leads to inverse problems with high-di...
155
click to vote
ICWE
2007
Springer
16 years 21 days ago
2007
Springer
With the increasing availability of Web services and adoption of services oriented paradigm, there is a growing need to dynamically compose services for realizing complex user task...