45 search results - page 3 / 9 » Derivation of Formal Representations from Process-Based Spec... |
118
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
120
click to vote
IJCAI
1997
15 years 4 months ago
1997
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
130
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
133
click to vote
ICEIS
2000
IEEE
15 years 7 months ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
167
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...