9507 search results - page 391 / 1902 » Time-based language models |
181
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
141
click to vote
WOLLIC
2009
Springer
16 years 26 days ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
162
click to vote
AOSE
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents modeling concepts and mechanisms of the Agent Modeling Language (AML) to model social aspects of multiagent systems. The modeling of structural, behavioral as w...
170
click to vote
PUC
2002
15 years 6 months ago
2002
Location models are crucial to location-aware applications. In this paper we present two approaches for modeling location information in an infrastructure-based and an ad hoc netwo...
143
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...