703 search results - page 116 / 141 » Fundamentals of Session Types |
108
click to vote
PASTE
2005
ACM
15 years 3 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
IVA
2005
Springer
15 years 3 months ago
2005
Springer
this is via the ”Motion Abstraction”. This is a single abstraction that represents any type of animation of a character. Different implementations of the ion can provide very ...
81
Voted
KES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Determining physical location of indoor objects is one of the key issues in ubiquitous computing. Although there are many proposals to provide physical location tracking,...
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
106
click to vote
DAWAK
2001
Springer
15 years 2 months ago
2001
Springer
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...