73 search results - page 6 / 15 » Reasoning about Implicit Invocation |
75
Voted
FAC
1998
14 years 9 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
73
Voted
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
61
Voted
ISPW
2009
IEEE
15 years 4 months ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
85
Voted
DKE
2002
14 years 9 months ago
2002
Recently, there is an interest in using associations between web pages in providing users with pages relevant to what they are currently viewing. We believe that, to enable intell...
90
Voted
WISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...