3429 search results - page 381 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
151
click to vote
ICDCIT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
151
click to vote
IEEESCC
2006
IEEE
15 years 11 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
193
click to vote
APLAS
2001
ACM
15 years 8 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
155
click to vote
SERP
2004
15 years 6 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
103
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The aim of this paper is to propose a method for tagging named entities (NE), using natural language processing techniques. Beyond their literal meaning, named entities are freque...