4890 search results - page 552 / 978 » From system specifications to component behavioral models |
185
click to vote
DSN
2009
IEEE
16 years 2 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
212
click to vote
JSW
2008
15 years 7 months ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
182
click to vote
CDC
2009
IEEE
16 years 3 days ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
195
click to vote
HCI
2009
15 years 5 months ago
2009
For enhancing current driver assistance and information systems with regard to the capability to recognize an individual driver's needs, we conceive a system based on fuzzy lo...
174
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: Oral delivery is a highly desirable property for candidate drugs under development. Computational modeling could provide a quick and inexpensive way to assess the inte...