10159 search results - page 1612 / 2032 » System Design Validation Using Formal Models |
189
click to vote
ESWS
2005
Springer
16 years 12 days ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
155
click to vote
COMPSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
Process-Centered Software Engineering Environments (PSEEs) deal with activities that demand limited resources. Characteristics about required resources and their dynamic availabili...
218
click to vote
OGAI
1991
15 years 10 months ago
1991
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
229
click to vote
WECWIS
2003
IEEE
16 years 4 days ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
170
click to vote
DRM
2004
Springer
16 years 8 days ago
2004
Springer
The current landscape for digital rights management (DRM) consists of various ad hoc technologies and platforms that largely focus on copy protection. The fragmented nature of the...