563 search results - page 73 / 113 » A Typing Scheme for Behavioural Models |
CAISE
2003
Springer
14 years 25 days ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, cons...
ISMIS
2000
Springer
13 years 11 months ago
2000
Springer
Indexing file systems is a powerful means of helping users locate documents, software, and other types of data among large repositories. In environments that contain many differen...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
With reference to digital input power amplifier for automotive audio applications, the paper presents an exhaustive exploration of the huge mixed-signal space to find optimal trad...
RTA
2004
Springer
14 years 28 days ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
AMC
2006
13 years 7 months ago
2006
ct 9 A new discrete-velocity method for the numerical solution of large eddy simulation (LES) is presented based on relax10 ation type formulation. The discrete-velocity equations ...