3828 search results - page 700 / 766 » Proof-Based System Engineering Using a Virtual System Model |
CIKM
2006
Springer
14 years 24 days ago
2006
Springer
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
AAMAS
1999
Springer
13 years 8 months ago
1999
Springer
: Although avatars may resemble communicative interface agents, they have for the most part not profited from recent research into autonomous embodied conversational systems. In pa...
DRM
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, we present our experiences concerning the enforcement of access rights extracted from ODRL-based digital contracts. We introduce the generalized Contract Schema (Co...
TAPOS
1998
13 years 8 months ago
1998
Large object-oriented systems have, at least, four characteristics that complicate object communication, i.e the system is distributed and contains large numbers, e.g. thousands, ...