886 search results - page 97 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper addresses the issue of extraction of an academic researcher social network. By researcher social network extraction, we are aimed at finding, extracting, and fusing the...
115
click to vote
CBSQ
2003
Springer
15 years 3 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
WETICE
2003
IEEE
15 years 3 months ago
2003
IEEE
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
EUROPAR
2008
Springer
14 years 11 months ago
2008
Springer
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...