973 search results - page 137 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
TPHOL
2002
IEEE
14 years 17 days ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
ENTCS
2006
13 years 7 months ago
2006
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
EMNLP
2011
12 years 7 months ago
2011
Accurate prediction of demographic attributes from social media and other informal online content is valuable for marketing, personalization, and legal investigation. This paper d...
EICS
2009
ACM
13 years 11 months ago
2009
ACM
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...