3775 search results - page 238 / 755 » The Expression Problem Revisited |
145
click to vote
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
151
click to vote
SWSTE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
159
click to vote
WISE
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we further develop a proposed layered approach for the Semantic Web. Our objective is to build a specific solution to the problem of providing data interoperability...
112
click to vote
ISMIS
2003
Springer
15 years 10 months ago
2003
Springer
Generalization of the fundamental rough set discernibility tools aiming at searching for relevant patterns for complex decisions is discussed. As an example of application, there i...
130
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...