660 search results - page 66 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
122
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
254
Voted
AMCS
2011
14 years 9 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
94
Voted
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
137
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
119
Voted
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...