1134 search results - page 172 / 227 » Using Constraints with Action Language for Model Evolution |
171
click to vote
MEMOCODE
2007
IEEE
16 years 13 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
147
click to vote
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper presents an approach for building consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent has its own conceptualizat...
191
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
163
click to vote
IEEEARES
2006
IEEE
16 years 5 days ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
154
click to vote
AIMS
2007
Springer
16 years 10 days ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...