Sciweavers

2685 search results - page 5 / 537
» A Formal Semantics for SPKI
Sort
View
IFIP
2010
Springer
13 years 2 months ago
Rialto 2.0: A Language for Heterogeneous Computations
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
Johan Lilius, Andreas Dahlin, Lionel Morel
COMMA
2010
13 years 2 months ago
A formal analysis of the AIF in terms of the ASPIC framework
In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational ar...
Floris Bex, Henry Prakken, Chris Reed
AAMAS
2012
Springer
12 years 3 months ago
A formal model of emotions for an empathic rational dialog agent
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
Magalie Ochs, David Sadek, Catherine Pelachaud
FTRTFT
1998
Springer
13 years 12 months ago
Towards a Formal Semantics of Verilog Using Duration Calculus
Gerardo Schneider, Qiwen Xu
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 2 months ago
On the Semantics of Purpose Requirements in Privacy Policies
Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital ...
Michael Carl Tschantz, Anupam Datta, Jeannette M. ...