Sciweavers

346 search results - page 45 / 70
» Panel: Extending UML from Software to Systems Engineering
Sort
View
CSMR
2007
IEEE
14 years 1 months ago
Consistently Incorporating Changes to Evolve Transition-based Systems
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
Mahadevan Subramaniam, Harvey P. Siy
COOPIS
2002
IEEE
14 years 15 days ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
IESA
2009
13 years 5 months ago
Model Driven Service Interoperability through Use of Semantic Annotations
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
Arne-Jørgen Berre, Fangning Liu, Jiucheng X...
SCAM
2005
IEEE
14 years 1 months ago
Static Analysis for Computing Escapability and Mutability for Java Components
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...
Aiwu Shi, Gleb Naumovich
ICESS
2004
Springer
14 years 28 days ago
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
Qingxu Deng, Mingsong Lv, Ge Yu