3825 search results - page 402 / 765 » The Language of Time: A Reader |
157
Voted
POLICY
2009
Springer
16 years 1 months ago
2009
Springer
A central task in the context of logic-based decentralized authorization languages is that of gathering credentials from credential providers, required by the resource guard’s p...
202
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
169
click to vote
SEKE
2007
Springer
16 years 28 days ago
2007
Springer
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
140
click to vote
UM
2007
Springer
16 years 28 days ago
2007
Springer
There has been increasing interest in using games for education, but little investigation of how to model student learning within games [cf. 6]. We investigate how existing techniq...
169
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...