3515 search results - page 173 / 703 » On the semantics of Strategy Logic |
183
click to vote
ENTCS
2008
15 years 7 months ago
2008
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...
241
click to vote
ATS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a new effective Built-In Self Test (BIST) scheme that achieves 100% fault coverage with low area overhead, and without any modification of the circuit under tes...
189
click to vote
ASWC
2006
Springer
15 years 11 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
178
click to vote
JODL
2006
15 years 7 months ago
2006
To date, long-term preservation approaches have comprised of emulation, migration, normalization, and metadata
193
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Evaluation of the communicative efficacy of a website is important in the context of an organization communication strategy. To address this issue, we propose a systematic method a...