2786 search results - page 142 / 558 » A Practical Technique for Process Abstraction |
144
Voted
ECBS
1996
IEEE
15 years 6 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
JOT
2006
15 years 1 months ago
2006
address (at least three) common problems, and the solution is then abstracted into a pattern. Antipatterns, on the other hand, identify common problems with solutions, and then sho...
105
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
115
Voted
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
110
click to vote
ISDA
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, an OntoCrawler based on the ontology-supported technique for webpage searching was proposed, in which only user entered some keywords would the system supported by ...