12347 search results - page 2065 / 2470 » Intelligent Integration of Information |
175
click to vote
DSVIS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
160
Voted
ECOOP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
190
click to vote
EDO
2005
Springer
16 years 11 days ago
2005
Springer
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...
168
click to vote
EGOV
2005
Springer
16 years 11 days ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
201
click to vote
ER
2005
Springer
16 years 11 days ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...