1721 search results - page 162 / 345 » The fundamentals of hybrid systems modelers |
181
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
199
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Machine code disassembly routines form a fundamental component of software systems that statically analyze or modify executable programs. The task of disassembly is complicated by...
202
click to vote
ATVA
2007
Springer
16 years 19 days ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
214
click to vote
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
156
click to vote
ICARCV
2008
IEEE
16 years 27 days ago
2008
IEEE
—Feature-based intelligent design and manufacturing systems in the Internet environment are an evolution of traditional geometric and solid modeling systems. This paper presents ...