2369 search results - page 186 / 474 » Software Supported Modelling in Pharmacokinetics |
172
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
195
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
146
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
174
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
275
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...