Sciweavers

2173 search results - page 169 / 435
» The Evolution of the DARWIN System
Sort
View
IWPSE
2003
IEEE
15 years 11 months ago
Automatic Categorization Algorithm for Evolvable Software Archive
The number of software systems is increasing at a rapid rate. For example, SourceForge currently has about sixty thousand software systems registered, twenty-two thousand of which...
Shinji Kawaguchi, Pankaj K. Garg, Makoto Matsushit...
VW
1998
Springer
153views Virtual Reality» more  VW 1998»
15 years 10 months ago
Grounding Virtual Worlds in Reality
We suggest in this article a new paradigm for the representation of data, which is best suited for the real-time visualization and sonorisation of complex systems, real or simulat...
Guillaume Hutzler, Bernard Gortais, Alexis Drogoul
SCP
2010
96views more  SCP 2010»
15 years 4 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
LFCS
2007
Springer
16 years 6 days ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
CAEPIA
2003
Springer
15 years 11 months ago
Social Analysis of Multi-agent Systems with Activity Theory
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...