1153 search results - page 49 / 231 » Compositional Specification Calculus for Information Systems... |
125
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
133
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
133
click to vote
ELPUB
1997
ACM
15 years 8 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
246
click to vote
AOIS
2006
15 years 5 months ago
2006
Agents can freely migrate among open MASs in order to obtain resources or services not found locally. In this scenario, agent actions should be guided for avoiding unexpected behav...
136
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...