366 search results - page 16 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
MEMOCODE
2006
IEEE
14 years 22 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
EDBT
2008
ACM
14 years 6 months ago
2008
ACM
Conceptual complexity is emerging as a new bottleneck as data-base developers, application developers, and database administrators struggle to design and comprehend large, complex...
WSC
2007
13 years 9 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
ER
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
FMSD
2002
13 years 6 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...