6581 search results - page 477 / 1317 » Formalizing Design Patterns |
150
click to vote
SYNASC
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
162
click to vote
ICCS
2007
Springer
16 years 19 days ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
159
Voted
COMPSAC
2005
IEEE
16 years 2 days ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
174
click to vote
DATE
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
149
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...