982 search results - page 101 / 197 » Model Based Multi-Level Prototyping |
CAV
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
LREC
2010
14 years 19 days ago
2010
Reflecting the rapid growth of science, technology, and culture, it has become common practice to consult tools on the World Wide Web for various terms. Existing search engines pr...
WWW
2007
ACM
14 years 12 months ago
2007
ACM
In this paper we present an application framework that leverages geospatial content on the World Wide Web by enabling innovative modes of interaction and novel types of user inter...
GIS
2002
ACM
13 years 11 months ago
2002
ACM
Geographical information systems are more and more based on a DBMS with spatial extensions, which is also the case for the system described in this paper. The design and implementa...
AINA
2003
IEEE
14 years 4 months ago
2003
IEEE
Electronic multimedia publishing is increasingly becoming a major industrial activity, and the design of web applications and hypermedia applications in general needs to become a ...