2989 search results - page 241 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
183
Voted
EPK
2006
15 years 7 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
129
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
183
click to vote
RSKT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...
207
click to vote
EPIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
164
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...