3047 search results - page 599 / 610 » On the Meaning of Logical Completeness |
164
Voted
EDO
2006
Springer
15 years 4 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
117
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
118
click to vote
DAC
1994
ACM
15 years 4 months ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
ISPW
1991
IEEE
15 years 4 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
149
Voted
ICDT
2010
ACM
15 years 4 months ago
2010
ACM
Stochastic context-free grammars (SCFGs) have long been recognized as useful for a large variety of tasks including natural language processing, morphological parsing, speech reco...