5863 search results - page 1090 / 1173 » On Model-Checking of P Systems |
142
Voted
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents KES (Knowledge Extraction and Summarization), a new knowledge-enhanced approach that builds a case memory out of episodic textual narratives. These na...
142
click to vote
DFT
2006
IEEE
15 years 10 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
134
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...
127
click to vote
SIGECOM
2006
ACM
15 years 9 months ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...
148
click to vote
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
Software code caches are becoming ubiquitous, in dynamic optimizers, runtime tool platforms, dynamic translators, fast simulators and emulators, and dynamic compilers. Caching fre...