1122 search results - page 7 / 225 » Behavioral Extensions of Institutions |
UML
2000
Springer
13 years 11 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
WEBI
2005
Springer
14 years 24 days ago
2005
Springer
We introduce the concept of community-driven ontology management and demonstrate the added value to conventional ontology management of being community-driven. Further, we present...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
The domain of language resources is fragmented in many dimensions. Institutional fragmentation is currently being addressed by Grid projects, which will allow access to resources ...
WADT
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
DATE
2008
IEEE
14 years 1 months ago
2008
IEEE
One of the upcoming challenges in embedded processing is to incorporate an increasing amount of adaptivity in order to respond to the multifarious constraints induced by today’s...