2514 search results - page 162 / 503 » The use of industrial-strength formal methods |
152
click to vote
IV
2005
IEEE
16 years 13 hour ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
160
click to vote
ISSS
2000
IEEE
15 years 10 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
179
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
177
click to vote
AAAI
2007
15 years 8 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
155
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Previous studies have shown that text genres can be computationally distinguished by sophisticated computational and statistical methods. The current study adds to the previous bo...