1188 search results - page 154 / 238 » Testing Semantics: Connecting Processes and Process Logics |
132
click to vote
FTRTFT
1994
Springer
15 years 8 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
147
click to vote
SIS
2007
15 years 5 months ago
2007
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
133
click to vote
PERCOM
2008
ACM
15 years 4 months ago
2008
ACM
In this paper, we propose a peer-to-peer approach to derive and obtain additional context data from lowlevel context data that may be spread over multiple domains in pervasive com...
148
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
We describe a method for drawing graph-enhanced Euler diagrams using a three stage method. The first stage is to lay out the underlying Euler diagram using a multicriteria optimizi...
144
click to vote
ICPPW
2003
IEEE
15 years 9 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...