12981 search results - page 596 / 2597 » Model Checking (Abstract) |
216
click to vote
HYBRID
2010
Springer
16 years 2 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
199
click to vote
ACSD
2010
IEEE
15 years 5 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
161
click to vote
ECML
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...
212
click to vote
COMPSAC
2009
IEEE
15 years 12 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
208
click to vote
ALGORITHMICA
2004
15 years 7 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...