4076 search results - page 602 / 816 » A framework for developing distributed location based applic... |
119
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
150
Voted
DSRT
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper introduces a Collaborative Virtual Environment (CVE) system over the Internet. A Virtual Reality Modeling Language (VRML) 97-based user interface is developed to permit...
123
Voted
AH
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. With the huge increase in the volume of information available in digital form and the increasing diversity of Web applications, the need for efficient, reliable, informat...
128
Voted
LOBJET
2000
15 years 3 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
222
click to vote
GIS
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...