2786 search results - page 2 / 558 » A Practical Technique for Process Abstraction |
AAAI
1994
13 years 6 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
CICLING
2006
Springer
13 years 8 months ago
2006
Springer
ICSE
1999
IEEE-ACM
13 years 9 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ER
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
BMCBI
2008
13 years 5 months ago
2008
Background: Data clustering is a powerful technique for identifying data with similar characteristics, such as genes with similar expression patterns. However, not all implementat...