379 search results - page 65 / 76 » Content Is Capricious: A Case for Dynamic System Generation |
ICWE
2005
Springer
15 years 2 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
98
Voted
HOTOS
2003
IEEE
15 years 2 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...
ASPDAC
2001
ACM
15 years 1 months ago
2001
ACM
Low Power is an extremely important issue for future mobile radio systems. Channel decoders are essential building blocks of base-band signal processing units in mobile terminal ar...
ENTCS
2007
14 years 9 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
88
Voted
PETRA
2009
ACM
15 years 3 months ago
2009
ACM
Event search is the problem of identifying events or activity of interest in a large database storing long sequences of activity. In this paper, our topic is the problem of identi...