1103 search results - page 176 / 221 » The Visula programming language and environment |
REX
1991
14 years 6 days ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
ODRL
2004
13 years 10 months ago
2004
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...
WICSA
2001
13 years 10 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
SOSP
1989
ACM
13 years 10 months ago
1989
ACM
Shared-memory multiprocessors are frequently used in a timesharing style with multiple parallel applications executing at the same time. In such an environment, where the machine ...
DAGSTUHL
2009
13 years 9 months ago
2009
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...