4255 search results - page 370 / 851 » Database: Models, Languages, Design |
181
click to vote
JLP
2006
15 years 7 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
230
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
181
Voted
WINE
2007
Springer
16 years 1 months ago
2007
Springer
The choice of a bidding language is crucial in auction design in order to correctly capture bidder utilities. We propose a new bidding model for the Adwords auctions of search eng...
198
click to vote
ISSRE
2002
IEEE
15 years 12 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
224
click to vote
EMNLP
2011
14 years 6 months ago
2011
In this paper, we consider the problem of unsupervised morphological analysis from a new angle. Past work has endeavored to design unsupervised learning methods which explicitly o...