1027 search results - page 155 / 206 » Representing and Reasoning with Operational Semantics |
103
Voted
ER
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...
138
click to vote
SAMOS
2004
Springer
15 years 6 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
82
Voted
CCS
2003
ACM
15 years 5 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
113
click to vote
ENTCS
2006
15 years 18 days ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
AI
2005
Springer
15 years 15 days ago
2005
Springer
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...