7580 search results - page 1143 / 1516 » Prometheus design tool |
185
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
184
click to vote
ICDE
2010
IEEE
15 years 8 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...
198
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Currently there are no Concurrent Versioning Systems (CVS) designed to properly support agile software development. The existing CVS lacks user friendliness and it requires users ...
305
click to vote
ETVC
2008
15 years 8 months ago
2008
s of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing Frank Nielsen Ecole Polytechnique, Palaiseau, France Sony CSL, Tokyo, Japan Abstract. We list the abstracts o...
196
click to vote
IADIS
2004
15 years 8 months ago
2004
Today, the development of a VR application is still a long and difficult task. You need to be skilled in Virtual Reality (VR) technology to be able to develop a Virtual World. The...