959 search results - page 107 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
ECAI
2000
Springer
14 years 17 days ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
ESWS
2005
Springer
14 years 1 months ago
2005
Springer
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
CICLING
2003
Springer
14 years 1 months ago
2003
Springer
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
EDOC
2009
IEEE
14 years 3 days ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
WICSA
2008
13 years 9 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...