344 search results - page 68 / 69 » Interactive procedural street modeling |
SIGSOFT
2007
ACM
14 years 7 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
TPHOL
2009
IEEE
14 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
GCC
2003
Springer
13 years 11 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
ICCS
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
AIME
2005
Springer
13 years 8 months ago
2005
Springer
In the objective of building care team guidelines from field observations, this paper introduces a representation method for describing the medical collaborative activities during ...