620 search results - page 44 / 124 » Tool support for component-based semantics |
102
click to vote
TPHOL
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
101
click to vote
DEXA
2006
Springer
15 years 3 months ago
2006
Springer
Wikis are becoming popular knowledge management tools. Analysing knowledge management requirements, we observe that wikis do not fully support structured search and knowledge reuse...
PKDD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
110
click to vote
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
ICECCS
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...