3778 search results - page 460 / 756 » Representing Web Graphs |
181
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
164
click to vote
TAICPART
2010
IEEE
15 years 5 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
191
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
190
click to vote
DLOG
2009
15 years 4 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
226
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Automatic extraction of semantic information from text and links in Web pages is key to improving the quality of search results. However, the assessment of automatic semantic meas...